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. Todas as palestras irão ocorrer na sala MULTIUSO/CIC no prédio do CIC/EST.

 

DATA	DISCENTE	TÍTULO	ORIENTADOR/A
14/08/2026
14:05-14:25	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
14:25-14:45	Jefferson Pereira da Silva	An Ordering-Based BFT Protocol for Atomic Cross-Chain Transactions	EDUARDO ADILIO PELINSON ALCHIERI
14:45-15:00	ZADYS CARRASCO MEDINA	Análise Exploratória de Métricas para Avaliação Automatizada em Sistemas de Geração Aumentada por Recuperação	THIAGO DE PAULO FALEIROS
15:00-15:15	MARIA JULIA DIAS LIMA	Formalização de Algoritmos de Anti-Unificação em PVS	MAURICIO AYALA RINCON
15:15-15:30	MARCELLA QUEIROZ DE CASTRO	O Tempo do Acesso à Saúde: Análise Preditiva da Duração de Processos Judiciais	CELIA GHEDINI RALHA
15:30-15:45
21/08/2026
14:05-14:25	Mirele Carolina Souza Ferreira Costa	Comparing Deep Learning and Homology-based Methods to Predict Non-coding RNAs	MARIA EMILIA MACHADO TELLES WALTER
14:25-14:45	Ricardo Regis Cavalcante Chaves	Framework Reprodutível para Comparação Paralela de Sequências Biológicas	ALBA CRISTINA MAGALHAES ALVES DE MELO
14:45-15:00	THIAGO ARAÚJO GUEDES	Proposta e avaliação de um método modular baseado em aprendizado em contexto para tradução de linguagem natural em linguagem formal com modelo de inguagem compacto	THIAGO DE PAULO FALEIROS
15:00-15:15	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
15:15-15:30	LETICIA MACHADO MAGALHAES	Uma estrutura LLM-MAS para aprendizado ativo na interação humano-IA	CELIA GHEDINI RALHA
15:30-15:45
28/08/2026
14:05-14:25	EVERALDO SILVA JÚNIOR	Operationalizing Normative Principles in the Requirements Engineering Process of Ethics-Aware Self-Adaptive Systems	GENAINA NUNES RODRIGUES
14:25-14:45	MARCOS JOSÉ DOS SANTOS NETO	OnceFL: Uma Estrutura de Aprendizagem Federada de Rodada Única para Detecção de Ataques DDoS	JACIR LUIZ BORDIM
14:45-15:00	NEWTON MITSUSHIGUE KAMIMURA	Um Modelo Integrador: MCC-Open RAN para Otimização da QoE com Ênfase no Near-RIC	MARCELO ANTONIO MAROTTA
15:00-15:15	RONALD CESAR DIAS DE OLIVEIRA	GuidedMatch: Auto-Destilação com uso de Perturbação de Características Guiada por Atenção para Segmentação Semântica de Imagens	DIBIO LEANDRO BORGES
15:15-15:30	Murillo Edson de Carvalho Souza	Redocumentação de Sistemas Legados Java Usando uma Arquitetura de Multiagentes	RODRIGO BONIFÁCIO DE ALMEIDA
15:30-15:45	ALANA PAULA BARBOSA MOTA	Rejuvenescimento de Software: Investigando a Relação entre Intenções de Design e Práticas de Modernização em Python	RODRIGO BONIFÁCIO DE ALMEIDA
04/09/2026
14:05-14:25	ÂNGELA BRÍGIDA ALBARELLO	Auditoria Pós-Salvaguarda e Promoção de Políticas Adaptativas em um Ciclo Veicular de Borda-Nuvem	GERALDO PEREIRA ROCHA FILHO
14:25-14:45	CHARLES ANTÔNIO NASCIMENTO COSTA	An Algebraic Structuring of Epistemic States for BDI Agents in Uncertain Environments	CELIA GHEDINI RALHA
14:45-15:00	RENNÊ RUAN ALVES OLIVEIRA	Pré-treinamento Eficiente de Modelos Encoder para o Português	LUIS PAULO FAINA GARCIA
15:00-15:15	AMAURI DORNELES OTTO	Aumentando a Segurança em xApps de Traffic Steering em Open RAN	EDUARDO ADILIO PELINSON ALCHIERI
15:15-15:30	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:30-15:45
11/09/2026
14:05-14:25	GEOVANA RAMOS SOUSA SILVA	A Privacy-Aware Approach to Chatbot Development in Conversation-Driven Development Environments	EDNA DIAS CANEDO
14:25-14:45	ALESSANDRO CORDEIRO DE LIMA	GraphCausal: Uma Arquitetura Baseada em Inferência Causal e Graph Neural Networks para Detecção de Ataques EDoS	EDUARDO ADILIO PELINSON ALCHIERI
14:45-15:00	BRENO BRAGA GALVAO	Combinação de Características de Brilho, Bordas e NDVI para Detecção de Árvores Urbanas e Avaliação de Proximidade com Linhas de Energia	DIBIO LEANDRO BORGES
15:00-15:15	BORIS MARINHO RAMOS SILVA ARAUJO	Avaliação do impacto de algoritmos de Call Graph na qualidade e no desempenho da Taint Analysis em grafos esparsos	RODRIGO BONIFÁCIO DE ALMEIDA
15:15-15:30	AMANDA ALINE FIGUEIREDO CARVALHO VICENZI	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:30-15:45	BRUNO DE BARROS OLIVEIRA	Avaliando a influência de imagens faciais sintéticas geradas por difusão estável em modelos de reconhecimento facial	FLAVIO DE BARROS VIDAL
18/09/2026
14:05-14:25	ALEXANDRO DE OLIVEIRA PAULA	Detecção e Resposta à ataques cibernéticos de negação de controle em Smart Grids	GERALDO PEREIRA ROCHA FILHO
14:25-14:40	GUILHERME DANIEL FERNANDES DA SILVA	From Prototype to Production: Socio-Technical Enablers and Obstacles in Operationalizing Machine Learning Models	CARLA SILVA ROCHA AGUIAR
14:40-14:55	JONATHAN DE MOURA FEITOSA	NetOps: Plataforma de Observabilidade Semântica Unificada para Redes Definidas por Software	MARCELO ANTONIO MAROTTA
14:55-15:10	MATHEUS STAUFFER VIANA DE OLIVEIRA	Exploring cross-boundaries between decoder and encoder-like models for NER	LUIS PAULO FAINA GARCIA
15:10-15:25	RAFAEL HENRIQUE NOGALHA DE LIMA	FlameSentinel: A Multi-agent Framework for Wildfire Risk Operational Management	CELIA GHEDINI RALHA
15:25-15:40	ALANA PAULA BARBOSA MOTA	Rejuvenescimento de Software: Investigando a Relação entre Intenções de Design e Práticas de Modernização em Python	RODRIGO BONIFÁCIO DE ALMEIDA
25/09/2026 - SEMANA UNIVERSITÁRIA
02/10/2026
14:05-14:25	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:25-14:40	ELI COELHO MEDEIROS	Redução de custo computacional em aprendizado positivo e não rotulado com meta-desambiguação esparça	DIBIO LEANDRO BORGES
14:40-14:55	MATHEUS SANTOS ALENCAR	Criação de um novo Dataset para ataques LDoS	JACIR LUIZ BORDIM
14:55-15:10	VINÍCIUS ASSUMPÇÃO DE ARAUJO	Extração e Construção de APIs a partir de Sistemas Legados COBOL com LLMs sob uma Abordagem Specification-Driven: Um Estudo Multi-Caso	RODRIGO BONIFÁCIO DE ALMEIDA
15:10-15:25	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
15:25-15:40	AMAURI DORNELES OTTO	Aumentando a Segurança em xApps de Traffic Steering em Open RAN	EDUARDO ADILIO PELINSON ALCHIERI
09/10/2026
14:05-14:25	JOSÉ BENEDITO DE SOUZA BRITO	λ-CADO - Framework de Decisão Causal Adaptativa sob Restrições Dinâmicas para AIOps	ALETEIA PATRICIA FAVACHO DE ARAUJO VON PAUMGARTTE
14:25-14:45	PEDRO BORGES PIO	Exploring SLM for Legal NER	LUIS PAULO FAINA GARCIA
14:45-15:00	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:00-15:15	GABRIEL DE SOUZA BARRETO	Um Framework Centrado na Produtividade para DevOps: Avaliação de KPIs e Mensuração do Desempenho em Engenharia de Software em Organizações Bancárias de Grande Porte	EDNA DIAS CANEDO
15:15-15:30	HENRIQUE TORRES DE LIMA	Implementation of global and local resolution in the modal logic theorem-prover KsP	CLAUDIA NALON
15:30-15:45
16/10/2026
14:05-14:25	NIKSON BERNARDES FERNANDES FERREIRA	A direct LLM approach to proof-command and lemma suggestion in PVS	MAURICIO AYALA RINCON
14:25-14:45	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:45-15:00	IAN PORTO E MELLO	Saliency-Based Local Binary Patterns for 3D Media Quality Assessment	PEDRO GARCIA FREITAS
15:00-15:15	RAFAEL DA SILVA OLIVEIRA	Abandono 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	LUIZA DE ARAÚJO NUNES GOMES	Inteligência Artificial Generativa no Ensino de Programação Introdutória: Usos, Percepções e Aprendizagem dos Estudantes	MARISTELA TERTO DE HOLANDA
15:30-15:45	ÂNGELA BRÍGIDA ALBARELLO	Auditoria Pós-Salvaguarda e Promoção de Políticas Adaptativas em um Ciclo Veicular de Borda-Nuvem	GERALDO PEREIRA ROCHA FILHO
23/10/2026
14:05-14:25	CARLOS JOEL TAVARES DA SILVA	Augmenting Multi-Robot Systems Focusing on Replanning Techniques with BDI Agents	CELIA GHEDINI RALHA
14:25-14:45	MARCOS PAULO CAYRES ROSA	Além do Design Estático: Efeitos de Políticas Adaptativas na Experiência do Jogador	RICARDO PEZZUOL JACOBI
14:45-15:00	ANTÔNIO VINICIUS DE MOURA RODRIGUES	Deep Learning for Skin Cancer Image Analysis: A Systematic Literature Review	FLAVIO DE BARROS VIDAL
15:00-15:15	TIAGO GONÇALVES DE SAMPAIO ALVES	Topificação de Documentos em Modelos de Linguagem em Larga Escala	THIAGO DE PAULO FALEIROS
15:15-15:30	JOÃO CUSTÓDIO DE FARIA FILHO	TBA	GENAINA NUNES RODRIGUES
15:30-15:50	ÂNGELA MARIA CRISTINA CLARA	Governança de TI e Alinhamento estratégico - mecanismos de apoio à tomada de decisão	CLAUDIA NALON
30/10/2026
14:05-14:25	PEDRO CARVALHO BROM	Equalização da Avaliação de Modelos de Linguagem a um Padrão de Referência Humano (Detalhamento Técnico do Desenho Experimental)	LI WEIGANG
14:25-14:45	RUBENS MARQUES CHAVES	Detecção de desvio de conceito em fluxos de dados via meta-aprendizado	LUIS PAULO FAINA GARCIA
14:45-15:00	VICTOR HUGO OLIVEIRA LEÃO	LLMs na Recuperação de Informação de Arquivos Digitalmente Esparsos	THIAGO DE PAULO FALEIROS
15:00-15:15	GUILHERME OLIVEIRA LOIOLA	Gerenciamento Inteligente de Overload e Orquestração Adaptativa em Fog Computing	ALETEIA PATRICIA FAVACHO DE ARAUJO VON PAUMGARTTE
15:15-15:30	GUSTAVO TOMÁS DE PAULA	Chroma: Uma Ferramenta de Apoio para o Ensino de Shaders	RICARDO PEZZUOL JACOBI
15:30-15:45	MARCELO AIACHE POSTIGLIONE	A Natural Language-Driven Intent-Based Networking Architecture exploiting Advanced Network Service Management	MARCELO ANTONIO MAROTTA
06/11/2026
14:05-14:25	RICARDO CORDEIRO GALVÃO SANT'ANA VAN ERVEN	The Lumen framework for generating structurally adapted user interfaces under design-system constraints	EDNA DIAS CANEDO
14:25-14:45	MARCELO FERREIRA ORTEGA	Impacto dos Problemas de Parsons com distratores no Ensino-Aprendizado de Programação Introdutória: um estudo multi-institucional	MARISTELA TERTO DE HOLANDA
14:45-15:00	MATHEUS VIRGÍLIO DA SILVA FERREIRA	3D-SLAM para robôs móveis em ambientes de mineração subterrânea	GERALDO PEREIRA ROCHA FILHO
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	MARIANA GONZAGA DOS SANTOS	Multimodal Learning for Selective Logging Detection via Fusion of Sentinel-1 and Sentinel-2 Data	PEDRO GARCIA FREITAS
15:30-15:45
13/11/2026 - WPOS
20/11/2026 - DIA DA CONSCIÊNCIA NEGRA
27/11/2026
14:05-14:25	JOÃO PAULO VIEIRA COSTA	Adaptando Arquiteturas Multimodais para Compreensão Visual de Documentos	LI WEIGANG
14:25-14:40	LUAN ALVES FREITAS	Estratégia Adaptativa para Dimensionamento Dinâmico de Recursos em Algoritmos de Alinhamento de Sequências Biológicas	ALBA CRISTINA MAGALHAES ALVES DE MELO
14:40-14:55	LUCAS FERREIRA FUKUTA	Geração de conteúdo narrativo com LLM em jogo de RPG	RICARDO PEZZUOL JACOBI
14:55-15:10	ANDHER PAULO CAPANEMA SANTANA	Frescor de informação em aprendizado federado: quando a idade é um bom critério para selecionar clientes sob dados heterogêneos?	GERALDO PEREIRA ROCHA FILHO
15:10-15:25	MARCELO DOS SANTOS	Escalonamento de Workflows sob Restrições de Prazo e Confiabilidade em Ambientes Computacionais Heterogêneos	PRISCILA AMERICA SOLIS MENDEZ BARRETO
15:25-15:45	CHARLES HENRIQUE GONÇALVES SANTOS	A Domain-Specific Language for Machine Learning	VANDER RAMOS ALVES
04/12/2026
14:05-14:20	NATALIA SOUZA DE JESUS	Previsão de demanda de medicamentos na saúde pública: Uma abordagem com modelos híbridos de aprendizado de máquina	PRISCILA AMERICA SOLIS MENDEZ BARRETO
14:20-14:35	JANAINA SILVA DE OLIVEIRA	Caracterização, Detecção e Prevenção de Spyware, Stalkerware e Aplicativos de Uso Duplo em Contextos de Violência Doméstica: uma Revisão Sistemática da Literatura	EDNA DIAS CANEDO
14:35-14:50	ANA CAROLINE DA ROCHA BRAZ	Inteligência Artificial como Suporte à Aprendizagem Personalizada em Robótica Educacional na Educação Básica	MARISTELA TERTO DE HOLANDA
14:50-15:05	JOÃO FRANCISCO GOMES TARGINO	Papéis, responsabilidades e competências para jornadas de capacitação em segurança da informação e privacidade de dados: Uma revisão de literatura	EDNA DIAS CANEDO
15:05-15:20	NATHALIA PIMENTEL DE ASSIS	SOC em O-RAN	MARCELO ANTONIO MAROTTA
15:20-15:35	MUHTASIM AZAD	Using LLMs in the robotic mission engineering process	GENAINA NUNES RODRIGUES