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 |
|||