Seminários
-
Seminários
Série de Seminários - 2026.1
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
Série de Seminários - 2025.2
As palestras apresentadas no segundo semestre de 2025 foram:
-
Seminários
Seminário - 05/07/2024 - 14h
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
Seminário - 26/06/2024 - 14h
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)
- Edital PPGI 001/2026 - Aluno Especial - Resultado Final - Pós-Recurso
A Coordenação do Programa de Pós-graduação em Informática divulga o resultado final do Edital PPGI 001/2026 - Aluno Especial 2026/1, tendo sido homologadas e consideradas as seguintes inscrições:
| Número Inscrição | PPGI2222 | PPGI2221 | PPGI2223 | PPGI0130 | PPGI0119 |
| 2026001709095896 | Deferido | ||||
| 2026001709096190 | Deferido | ||||
| 2026001709096350 | Deferido | ||||
| 2026001709096366 | Deferido | Deferido | |||
| 2026001709096456 | Deferido | ||||
| 2026001709096462 | Deferido | ||||
| 2026001709096490 | Indeferido | ||||
| 2026001709096496 | Deferido | Deferido | |||
| 2026001709096553 | Deferido | ||||
| 2026001709096575 | Indeferido | Deferido | |||
| 2026001709096580 | Indeferido | Deferido | |||
| 2026001709096707 | Deferido | ||||
| 2026001709096730 | Indeferido | Deferido | |||
| 2026001709096792 | Indeferido | Deferido | |||
| 2026001709096809 | Indeferido | ||||
| 2026001709096853 | Deferido | ||||
| 2026001709096883 | Deferido | ||||
| 2026001709096908 | Deferido |
As inscrições na disciplina PPGI2222 foram indeferidas por falta de vagas. As demais inscrições não foram homologadas devido à documentação incompleta registrada no sistema. Foram interpostos recursos, na primeira fase, pelas inscrições 2026001709096043, 2026001709096180, 2026001709096181, 2026001709096365, 2026001709096384, 2026001709096487, 2026001709096584, 2026001709096690 e 2026001709096826. Todos os recursos foram indeferidos e os interessados foram comunicados através de mensagem eletrônica. Foi interposto recurso, na segunda fase, pela inscrição 2026001709096792. Este recurso foi deferido, sendo deferidas as matrículas em disciplinas, conforme tabela acima.
A comprovação do pagamento dos créditos deve ser incluída no sistema de inscrição da pós-graduação até às 18:00 de segunda-feira, 16/03/2026.
Novo Regulamento do PPGI e Estrutura Curricular
Foram publicadas na data de hoje as Resoluções PPGI 001/2026 e 002/2026 com o novo regulamento do nosso programa e a nova estrutura curricular dos cursos oferecidos pelo PPGI. Estas e outras normas podem ser encontradas na seção de regulamentos de nossa página.
CAPES - Nota SEIS!
A Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) divulgou hoje o resultado preliminar da Avaliação no Quadriênio 2021/2024. O nosso programa recebeu a recomendação de alteração para Nota 6, o que nos classifica como de excelência entre os cursos de pós-graduação stricto sensu do país. A recomendação é resultado do trabalho constante de professores, alunos e colaboradores do programa na construção do desenvolvimento de pesquisa de ponta, com visibilidade nacional e internacional.
Parabenizamos a todos os envolvidos na construção desse patamar de excelência, em especial a professores e alunos de nosso programa.
Edital PPGI 005/2025 - Seleção de Alunos Regulares para Entrada em 2026.1
O Programa de Pós-Graduação em Informática (PPGI) da Universidade de Brasília informa que estão abertas as inscrições para o processo seletivo dos cursos de Mestrado Acadêmico e Doutorado Acadêmico, com início previsto para o primeiro semestre de 2026.
Publicação de Resolução para concessão de Bolsas de Pós-Graduação
A Resolução nº 01/2024 do Programa de Pós-Graduação em Informática (PPGI) da Universidade de Brasília estabelece novas diretrizes para a distribuição, concessão e renovação de bolsas de estudo nos cursos de mestrado e doutorado.