Seminários

  • Seminários

    A Coordenação do Programa de Pós-Graduação em Informática tem o prazer de convidá-los a participar das apresentações de seminários ministrados por discentes de nosso programa. As sessões serão coordenadas pelos Professores Ricardo Lopes de Queiroz e Cláudia Nalon.   Horário Palestrante Título Orientador         20/03/26         Auditório       Aula Inaugural – Apresentação do PPGI - Cláudia Nalon       27/03/26         Seminário (MULTIUSO CIC)       14:10-14:35 Paulo José de Souza Junior Proteção contra falhas duplas em redes SDM-EON explorando bandas de espectro com crosstalk Marcelo Antônio Marotta 14:35-15:00 LUIS HENRIQUE VIEIRA AMARAL From Legacy Designs to Vulnerability Fixes: Understanding SAST Adoption in Non-Technological Companies Rodrigo Bonifácio de Almeida 15:00-15:15 FERNANDO LOUREIRO DE ARAÚJO Estudo Comparativo de Brokers de Mensagens e Serializadores em Arquitetura do Open Finance Rodrigo Bonifácio de Almeida 15:15-15:30 FERNANDO HURIAS LOPES NETO Reconhecimento de Entidades Nomeadas em Documentos Legais Luis Paulo Faina Garcia 15:30-15:45 ZADYS CARRASCO MEDINA Análise Exploratória de Métricas para Avaliação Automatizada em Sistema de Geração Aumentada por Recuperação Thiago de Paulo Faleiros   Seminário 2 (MULTIUSO EST)       14:10-14:35 WALTER LUCAS M. DE MENDONCA A Socio-Technical Grounded Theory about Source Code Rejuvenation Rodrigo Bonifácio de Almeida 14:35-14:50 KAILANY KETULHE GOMES ROCHA Avaliação da Permanência Acadêmica Feminina em Computação associada ao Projeto Meninas.comp na Universidade de Brasília. Maristela Terto de Holanda 14:50-15:05 YURI FAÇANHA BEZERRA Enhancing Retrieval-Augmented Generation Capabilities through the Design of a Quote-Extraction Agent Li Weigang 15:05-15:20 THIAGO ARAÚJO GUEDES Apoio de Modelos de Linguagem de Grande Escala a Modelos Compactos na Tradução de Linguagem Natural para a Linguagem Formal Nile com Utilização de Justificativas Explicitas de Raciocínio Thiago de Paulo Faleiros 15:20-15:50       03/04/26        Sexta-feira Santa       10/04/26         Seminário (MULTIUSO CIC)       14:10-14:35 Mirele Carolina Souza Ferreira Costa Performance comparison of machine learning models with Blast for the identification of non-coding RNAs using taxonomic distances Maria Emília Machado Telles Walter 14:35-15:00 MARCOS JOSÉ DOS SANTOS NETO OnceFL: Federated DDoS Detection in Software-Defined Networks with Once-Learning and Adaptive Kalman Estimation + CUSUM Jacir Luiz Bordim 15:00-15:15 NEWTON MITSUSHIGUE KAMIMURA Proposta de Modelo Integrado MCC-Open RAN-6G para Otimização da QoE em Redes 6G com Ênfase no Controle Near-Real-Time Marcelo Antônio Marotta 15:15-15:30 Murillo Edson de Carvalho Souza An experience using Amazon Q (AWS) in Industry under Code Summarization Rodrigo Bonifácio de Almeida 15:30-15:45 MARIA JULIA DIAS LIMA Mechanical Formalization of Antiunification Mauricio Ayala Rincon   Seminário 2 (MULTIUSO EST) 14:10-14:25 ALANA PAULA BARBOSA MOTA Motivações formais na evolução de linguagens de programação Rodrigo Bonifácio de Almeida 14:25-14:40 MATHEUS STAUFFER V. DE OLIVEIRA Exploring cross-boundaries between decoder and encoder-like models for NER Luís Paulo Faina Garcia 14:40-14:55 MATHEUS SANTOS ALENCAR Uma proposta de dataset para ataques LDoS Jacir Luiz Bordim 14:55-15:10 MATHEUS ARAÚJO FERREIRA Análise da utilização de adaptação de dificuldade em jogos de RPG a partir de perfis de jogadores Ricardo Pezzuol Jacobi 15:10-15:50       17/04/26   Seminário (MULTIUSO CIC) 14:10-14:35 Jefferson Pereira da Silva Execução paralela de transações Eduardo Adilio Pelinson Alchieri 14:35-15:00 EVERALDO SILVA JÚNIOR Operationalizing Normative Principles ​in the Requirements Engineering Process ​of Ethics-Aware Autonomous Systems Genaína Nunes Rodrigues 15:00-15:15 JONATHAN DE MOURA FEITOSA Arcabouço para criação e gestão de aplicações e experimentos em redes SDN Marcelo Antônio Marotta 15:15-15:30 GUSTAVO VIEIRA ROCHA RABELO Detecçao e reconhecimento de áudios sintéticos utilizando modelos de aprendizagem profunda Flávio de Barros Vidal 15:30-15:45 JOAO LUCAS PINTO VASCONCELOS Uma Abordagem Baseada em Fuzzing para Verificação de Princípios Éticos em Sistemas de Inteligência Artificial no Contexto da Engenharia de Software Edna Dias Canedo   Seminário 2 (MULTIUSO EST) 14:10-14:25 RAFAEL HENRIQUE NOGALHA DE LIMA A Framework for Resilient Decision-Making for Wildfire Management Celia Ghedini Ralha 14:25-14:40 RENNÊ RUAN ALVES OLIVEIRA BERTomelo: Avanços na Adaptação da Arquitetura ModernBERT para o Português Brasileiro Luís Paulo Faina Garcia 14:40-14:55 RONALD CESAR DIAS DE OLIVEIRA SoyMatch: A Multi-View Semi-Supervised Semantic Segmentation Strategy for Soybean Seedling Images Dibio Leandro Borges 14:55-15:20 Leonardo Rebouças de Carvalho Orama: Framework para Seleção e Avaliação de Ambientes FaaS em Nuvem Pública por meio de Aprendizado de Máquina Aleteia Patricia Favacho de Araujo von Paumgartten 15:10-15:35   PEDRO HENRIQUE TEIXEIRA COSTA   Melhorando a Performance de Runtime Verification com o Uso de Geração de Casos de Testes Guiados  Rodrigo Bonifácio de Almeida 24/04/26   Seminário (MULTIUSO CIC) 14:10-14:35 Ricardo Regis Cavalcante Chaves Framework Reprodutível para Comparação de Sequências Biológicas Alba Cristina Magalhães Alves de  Melo 14:35-15:00 RICARDO CORDEIRO G. S. VAN ERVEN Beyond "One-Size-Fits-All": A Framework for a Generative AI-Driven User Experience Edna Dias Canedo 15:00-15:15 CLAUDIO HENRIQUE P. DE CASTRO Arquitetura de Microsserviços para Registro, Controle e Auditoria de Consentimento de Usuários em Conformidade com a LGPD e GDPR Edna Dias Canedo 15:15-15:30 ELI COELHO MEDEIROS LaGAM com atualizações meta esparsas: redução de custo computacional em PU Learning Dibio Leandro Borges 15:30-15:45 GUILHERME DANIEL F. DA SILVA From Prototype to Production: Socio-Technical Enablers and Obstacles in Operationalizing Machine Learning Models Carla Silva Rocha Aguiar 01/05/26 Dia do Trabalho 08/05/26   Seminário (MULTIUSO CIC) 14:10-14:35 ALESSANDRO CORDEIRO DE LIMA Detecting LDoS attacks with EDoS characteristics in cloud environments Eduardo Adilio Pelinson Alchieri 14:35-15:00 ÂNGELA BRÍGIDA ALBARELLO Adaptive and Auditable Edge–Cloud Orchestration for Urgent Streaming Inference: Temporal Distillation and Safe Reinforcement Learning Geraldo Rocha Filho 15:00-15:15 BORIS MARINHO RAMOS SILVA ARAUJO Análise estática: algoritmos de montagem de CFG e detecção de reflection Rodrigo Bonifácio de Almeida 15:15-15:30 BRENO BRAGA GALVAO Detecção de Vegetação em Redes de Distribuição utilizando Deep Learning e Visão Computacional para Manutenção Preventiva Dibio Leandro Borges 15:30-15:45 BRUNO DE BARROS OLIVEIRA Synthetic Facial Aging: A Comparative Study of Stable Diffusion and Style GAN Flavio de Barros Vidal 15/05/26   Seminário (MULTIUSO CIC) 14:10-14:35 CHARLES ANTÔNIO N. COSTA An Algebraic Structuring of Epistemic States for BDI Agents in Uncertain Environments Celia Ghedini Ralha 14:35-15:00 NIKSON BERNARDES F. FERREIRA LLM-based recomendation of PVS proof commands Mauricio Ayala Rincon 15:00-15:15 AMANDA ALINE F. CARVALHO Operacionalização da Ética em Sistemas de IA no Setor Público: um estudo empírico sobre Motivação, Percepção e Expectativa Edna Dias Canedo 15:15-15:30 AMAURI DORNELES OTTO Open RAN: Traffic Steering - Soluções de Criptografia em transferência de dados para xApps Eduardo Adilio Pelinson Alchieri 15:30-15:45 VINÍCIUS ASSUMPÇÃO DE ARAUJO Modernização de Sistemas Legados COBOL com LLMs: Geração de Documentação do Código Fonte em um Estudo de Caso no Setor Financeiro Rodrigo Bonifácio 22/05/26   Seminário (MULTIUSO CIC) 14:10-14:35 GEORGE FABRÍCIO SANTOS RODRIGUES Modelo Generativo Leve para Classificação Precisa de Anomalias em Culturas Vegetais Otimizado Para Dispositivos de Borda. Dibio Leandro Borges 14:35-15:00 JOÃO PAULO VIEIRA COSTA Adapting Multimodal Architectures for Visual Document Understanding Li Weigang 15:00-15:15 MATHEUS MORAIS DO PRADO Detecção de Anomalias em Registros de Acesso e Autenticação Usando Redes Neurais Grafo-Temporais para Mitigação de Fraudes Internas Edna Dias Canedo 15:15-15:30 MATHEUS VIRGÍLIO DA SILVA FERREIRA 3D-SLAM para robôs móveis em ambientes de mineração subterrânea. Geraldo Rocha Filho 15:30-15:45       29/05/26   Seminário (MULTIUSO CIC) 14:10-14:35 JOSÉ BENEDITO DE SOUZA BRITO λ-CADO - Framework de Decisão Causal Adaptativa com Restrições Lambda para AIOps Aleteia Araújo 14:35-15:00 MARCOS PAULO CAYRES ROSA Adaptatividade em Jogos Digitais para Aprimoramento da Experiência do Jogador Ricardo Pezzuol Jacobi 15:00-15:15 RAFAEL DA SILVA OLIVEIRA Evasão escolar na rede pública de ensino do Distrito Federal e o uso de machine learning no processo de busca ativa Maristela Terto de Holanda 15:15-15:30 TIAGO GONÇALVES DE SAMPAIO ALVES Topificação de documentos com Modelos de Linguagem em Larga Escala Thiago de Paulo Faleiros 15:30-15:45 VICTOR HUGO OLIVEIRA LEÃO Uso de LLMs para Recuperação de Informação em Arquivos Thiago de Paulo Faleiros 05/06/26 Ponto Facultativo (Corpus Christi) 12/06/26   Seminário (MULTIUSO CIC) 14:10-14:35 FELIPE EVANGELISTA DOS SANTOS Implementação do modelo de inteligência artificial para aplicação em processos institucionais no setor público DIBIO LEANDRO BORGES 14:35-14:50 MARCELLA QUEIROZ DE CASTRO O Tempo do Acesso à Saúde: Análise Preditiva da Duração de Processos Judiciais Celia Ghedini Ralha 14:50-15:05 MARCELO AIACHE POSTIGLIONE A Natural Language-Driven Intent-Based Networking Architecture Marcelo Antônio Marotta 15:05-15:20 MARIANA GONZAGA DOS SANTOS Detecção de anomalias de superfície utilizando LiDAR Pedro Garcia Freitas 15:20-15:45       19/06/26   Seminário (MULTIUSO CIC) 14:10-14:35 ALEXANDRO DE OLIVEIRA PAULA Detecção e resposta a ataques cibernéticos de negação de serviço em Smart Grids Geraldo Rocha Filho 14:35-14:50 JOÃO PEDRO DE CAMARGO VAZ Modernização de Sistemas Legados COBOL com LLMs: Geração de Documentação do Código Fonte em um Estudo de Caso no Setor Financeiro Rodrigo Bonifácio de Almeida 14:50-15:05 LUCAS GRIBEL DOS REIS Protocolo de snapshot distribuído para um microkernel Aleteia Patricia Favacho de Araujo von Paumgartten   15:05-15:20 LUIZA DE ARAÚJO NUNES GOMES Usos pedagógicos, benefícios e desafios de LLMs para estudantes de graduação em Ciência da Computação Maristela Terto de Holanda 15:20-15:45       26/06/26   Seminário (MULTIUSO CIC) 14:10-14:35 PEDRO BORGES PIO Applying SLM for legal NER Luís Paulo Faina Garcia 14:35-15:00 PEDRO CARVALHO BROM Large Language Model Evaluation Methods Li Weigang 15:00-15:15 HENRIQUE TORRES DE LIMA Implementação de lógica global e local no software de lógica modal KsP Cláudia Nalon 15:15-15:30 IAN PORTO E MELLO Saliency Based Local Binary Patterns Pedro Garcia Freitas 15:30-15:45 JOÃO CUSTÓDIO DE FARIA FILHO AI to enhance SAR Missions Genaina Nunes Rodrigues 03/07/26   Seminário (MULTIUSO CIC) 14:10-14:35 GEOVANA RAMOS SOUSA SILVA Augmenting Conversation-Driven Development: A Privacy-Oriented Architectural Extension for Chatbots Edna Dias Canedo 14:35-15:00 RUBENS MARQUES CHAVES MetaDD: Meta Drift Detector Luís Paulo Faina Garcia 15:00-15:15 GABRIEL FAUSTINO LIMA DA ROCHA Reducing Replica Coordination in BFT Consensus through Dependable and Secure In-Network Message Ordering Eduardo Adilio Pelinson Alchieri 15:15-15:30 GUILHERME OLIVEIRA LOIOLA AI-Driven Overload Management in Fog Computing Aleteia Patricia Favacho de Araujo 15:30-15:45 GUSTAVO TOMÁS DE PAULA A Ferramenta Educacional Chroma Ricardo Pezzuol Jacobi 10/07/26   Seminário (MULTIUSO CIC) 14:10-14:35 CARLOS JOEL TAVARES DA SILVA Augmenting Multi-Robot Systems Focusing on Replanning Techniques with BDI Agents Celia Ghedini Ralha 14:35-15:00 MARCELO FERREIRA ORTEGA Problemas de Parsons: Análise da Carga Cognitiva em um Experimento Multi-Institucional no Brasil Maristela Terto de Holanda 15:00-15:15 ANTÔNIO VINICIUS DE M. RODRIGUES Deep Learning for Skin Lesion Analysis: A Systematic Review of Segmentation and Classification Flavio de Barros Vidal 15:15-15:30 GABRIEL DE SOUZA BARRETO A Productivity-Centric Framework for DevOps: Updating Industry KPIs and Assessing Engineering Performance in Large-Scale Banking Edna Dias Canedo 15:30-15:45 ANDRÉ FELIPE BRUSCO TBA Thiago de Paulo Faleiros      

  • Seminários

    As palestras apresentadas no segundo semestre de 2025 foram:

  • Seminários

    O Departamento de Ciência da Computação convida todos para as palestras da disciplina de Seminário do PPGI, com os temas ( From log4j to mapping vulnerable maven dependencies in a Brazilian institution / Automatic Lifting of Static Taint Analyses for Evolving Product Lines)

  • Seminários

    O Departamento de Ciência da Computação convida todos para as palestras da disciplina de Seminário do PPGI, com os temas (Uma Nova Abordagem de Fine Tuning para Aprimorar a Performance Interlinguística de LLMs  / Towards a Theory for Source Code Rejuvenation  / Quad-Tree Block-Based Variational Autoencoder for Point-Clouds / Avaliação do Reconhecimento de Entidades Nomeadas Utilizando Ensembles em Modelos Transformers para Textos Públicos Brasileiros)

+

14 de Maio de 2013

Das disciplinas do Tronco Comum (Obrigatórias), o aluno do Curso de Doutorado deverá cursar ao menos três disciplinas de quatro créditos do tronco comum, sem restrição quanto às cadeias de seletividade. Já o aluno do Curso de Mestrado deverá cursar uma disciplina em cada uma das cadeias de seletivdade, sendo uma em Fundamentos e Métodos de Computação e outra em Sistemas de Computação.

 

Disciplinas do Tronco Comum

 

Fundamentos e Métodos de Computação

Teoria da Computação

 Créditos: 04

Ementa:

Teoria de autômatos e linguagens formais, maquinas de Turing e teoria das funções recursivas, noções de computabilidade e classes de complexidade básicas.

Projeto e Complexidade de Algoritmos

 Créditos: 04

Ementa:

Análise de algoritmos - princípios e exemplos; critérios e avaliação; estruturas de dados elementares; estratégias para projetar algoritmos; algoritmos e grafos; a transformada rápida de Fourier e aplicações; reconhecimento de padrões; tratabilidade.

 

Sistemas de Computação

Fundamentos de Sistemas Computacionais

 Créditos: 04

Ementa:

Organização de Computadores: Componentes do computador, ciclos de instruções, pipelining, barramentos, caches, memória RAM, arquiteturas RISC x CISC, Instruction level Parallelism (Execução Fora de Ordem, Previsão de Desvios, Execução Superescalar, Execução Especulativa, Very Large Instruction Word), Multiprocessadores Simétricos (organização e coerência de caches).

Sistemas operacionais: estruturação do kernel, gerência de processos, gerência de memória, gerência de arquivos, gerência de E/S, micro-kernels, exo-kernels.

Processamento Digital de Sinais

 Créditos: 04

Ementa:

Transformada de Fourier e Transformada Z, Teoria da Amostragem, Sinais no domínio da frequência e sua caracterização, Interpolação e Quantização, Processamento de Sinais de voz e áudio, Filtragem Digital e Análise Espectral

 

 

Disciplina Obrigatória em ambos os cursos

 

Seminário

 Créditos: 02

Ementa:

Palestras de pesquisadores convidados e alunos do PPGInf

 

 

Disciplinas Optativas

 

Teoria de Prova

 Créditos: 04

Ementa:

O curso traz uma base sólida para os alunos que pretendem fazer pesquisa na área de dedução automatizada e métodos formais.

Inteligência Artificial I

 Créditos: 04

Ementa:

Introdução: o que é IA., uma visão geral, problemas, espaços de problemas e métodos básicos de solução de problemas. Conhecimento: representação e uso. Meta. Conhecimento. Aspectos gerais de sistemas baseados em conhecimento.

Inteligência Artificial II

 Créditos: 04

Ementa:

Aquisição e representação do conhecimento. Forma de raciocínio automático. Raciocínios não monotônicos. Sistemas Avançados de Solução de Problemas. Aprendizado mecânico. Processamento de linguagem natural. Sistemas especialistas. Sistemas conexionistas. Interfaces inteligentes.

Linguagens Declarativas

 Créditos: 04

Ementa:

Sistema físico de símbolos; Processamento simbólico; Linguagens declarativas e IA; Linguagem funcional pura: Reescrita, funções primitivas, paradigma funcional: equacional, equações guardadas, recursão, casamento de padrões, polimorfismo, avaliação preguiçosa, funções de alta ordem, definição local; aplicações, LISP, PROLOG.

Engenharia de Software 2

 Créditos: 04

Ementa:

Estudos empíricos em Engenharia de Software; estudos primários, secundários, e terciários; estratégias de pesquisa; estudos qualitativos e quantitativos.

Tópicos em Engenharia de Software

 Créditos: 04

Ementa:

Motivação de LPS; definição e exemplos de LPS; especificação funcional e operacional de LPS; revisão sistemática de literatura em LPS; Engenharia do Domínio; Engenharia da Aplicação; ferramentas de apoio à construção e evolução de LPS; estratégias de adoção; gerenciamento de variabilidade nos seguintes artefatos: processos de negócio, características (features), requisitos, arquitetura, implementação; apresentação e comparação de métodos específicos (abordagens composicional, anotativa, paramétrica, e transformacional); sistemas de tipos para LPS.

Estágio de Docência no Ensino de Graduação em Ciência da Computação

 Créditos: 04

Ementa:

Atuação em sala de aula (aula teórica/prática), atendimento de alunos fora da sala de aula, correções de provas e exercícios, atendimento a palestra didádito/pedagógica programadas para a disciplina, participação em reuniões da coordenação da disciplina, preparação de aulas e outras tarefas inerentes a prática docente.

Programação Paralela

 Créditos: 04

Ementa:

Introdução à computação paralela e distribuída. Avaliação de desempenho. Processadores paralelos e distribuídos. Modelo PRAM e algoritmos. Modelos de troca de mensagens e algoritmos. Programação paralela. Algoritmos de escalonamento. PVM. MPI. Java.

Métodos Formais para Processamento Tempo-Real

 Créditos: 04

Ementa:

Introdução ao processamento tempo-real. Formalização do tempo e relógio. Métodos formais. Método gráfico. Método baseado em estados. Método baseado em lógica. Método baseado em álgebra de processos. Partição de software. Alocação de tarefas. Escalonamento de tarefas. Tolerância a falhas. Sincronização de relógios.

Processamento de Imagens

 Créditos: 04

Ementa:

Fundamentos de Processamento Digital de sinais. Captação de imagens. Representação e Tratamento de imagens. Amostragem de sinais. Transformadas aplicadas ao processamento digital de sinais. Desenvolvimento de aplicações em software específico.

Arquiteturas VLSI

 Créditos: 04

Ementa:

Dispositivos reconfiguráveis, Modelamento de circuitos combinacionais e sequenciais em VHDL, especificação e síntese de máquinas algorítmicas, otimização de registradores, escalonamento e alocação de operadores, técnicas de aceleração de hardware.

Processamento de Alto Desempenho

 Créditos: 04

Ementa:

Algoritmos paralelos, Princípios de paralelismo, Redes de interconexão, Protocolos de alto-desempenho, Arquiteturas SIMD/MIMD, Escalonamento, Balanceamento de carga, Gerenciamento de recursos geograficamente distribuídos, Fundamentos de Cluster computing, Fundamentos Grid computing

Sistemas Distribuídos

 Créditos: 04

Ementa:

Definição de Sistema Distribuído, Arquiteturas Paralelas e Distribuídas, Aspectos no Projeto de Sistemas Distribuídos, Gerência de Processos Distribuídos (Escalonamento de Processadores, Migração de Processos, Troca de Mensagens, Remote Procedure Call, Distributed Shared Memory), Grupos de Processos, Sincronização de Processos Distribuídos, Deadlock Distribuído, Exclusão Mútua Distribuída, Gerência de Arquivos Distribuídos, Noções de Tolerância a Falhas.

Reconhecimento de Padrões

 Créditos: 04

Ementa:

Introdução; Teorema de Bayes; Classificadores Paramétricos; Funções Discriminantes Paramétricas; Avaliação do Desempenho; Classificadores Não Paramétricos; Extração de Características; Teoria da Aprendizagem; Aprendizagem Não Supervisionada.

Tópicos em Formalismos de Computação

 Créditos: 04

Ementa:

Ementa variável

Tópicos em Sistemas de Computação

 Créditos: 04

Ementa:

Ementa variável

Tópicos em Fundamentos e Métodos de Computação

 Créditos: 04

Ementa:

Ementa variável

Trabalho Individual em Fundamentos e Métodos de Computação

 Créditos: 02

Ementa:

Trabalho individual orientado e escrito ao longo de um período letivo que resulta de pesquisa ou estudo de um tema proposto por um orientador responsável.

Trabalho Individual em Sistemas de Computação

 Créditos: 02

Ementa:

Trabalho individual orientado e escrito ao longo de um período letivo que resulta de pesquisa ou estudo de um tema proposto por um orientador responsável.

Tópicos de Pesquisa em Informática

 Créditos: 02

Ementa:

Ementa variável

Sistemas Multiagentes

 Créditos: 04

Ementa:

Esta disciplina trata de agente inteligente e sistema multiagente (SMA), incluindo uma fundamentação teórica básica da área de Inteligência Artificial Distribuída. Diversos aspectos relacionados a SMA serão estudados, tais como modelos de raciocínio, protocolos de comunicação e interação, definições arquiteturais, metodologias de modelagem, utilizando uma abordagem prática de desenvolvimento de aplicações orientada a agentes. Ferramentas e plataformas de desenvolvimento de SMA serão utilizados nos trabalhos de implementação para melhor fixação do conhecimento adquirido.

Projeto e Complexidade de Algorítmos 2

 Créditos: 04

Ementa:

Lógica Formal e Computacional

 Créditos: 04

Ementa:

Elementos semânticos da lógica de primeira ordem e suas limitações, cálculo de sequentes para a lógica de primeira-ordem, teoremas de löwenheim-Skolem e de compacidade, teoremas de completude e incompletude de Gödel, teoremas de Lindstrom sobre a maximalidade da lógica de primeira-ordem e uma linguagem para formalizar objetos matemáticos e computacionais.

Arquiteturas Paralelas

 Créditos: 04

Ementa:

Criptografia

 Créditos: 04

Ementa:

Criptografia Clássica: esquemas e criptoanálise; Teoria de Shannon: entropia, segredo perfeito e teoria da informação; Cifras simetricas de bloco: DES e AES; Funções de resumo criptográfico: o paradigma de Merkle-Damgard; Criptossistema RSA e Rabin; Criptografia de chave pública baseada em logaritmo discreto: corpos finitos e curvas elípticas; Esquemas para assinatura digital; Geração de números pseudo-aleatórios.

Modelagem e Verificação de Sistemas Integrados em Silício

 Créditos: 04

Ementa:

Modelagem de sistemas integrados monolíticos - ou sistemas em silício (SoC - System on Chip) - em nível transacional; SystemC como ferramente de modelagem em níveis abstrados; Complexidade dos sistemas em silício.

Tópicos Avançados em Sistemas de Computação

 Créditos: 04

Ementa:

Disciplina com ementa variável

Tópicos Avançados em Formalismos e Métodos da Computação

 Créditos: 04

Ementa:

Disciplina com ementa variável