Defesas de Tese

Modelagem do Consenso Bizantino em Timed Automata

Modelagem do Consenso Bizantino em Timed Automata

Será defendida no dia 24 de novembro de 2025, às 14:00 horas, por videoconferência, a Dissertação de Mestrado intitulada “Modelagem do Consenso Bizantino em Timed Automata”, da candidata ao título de Mestre em Computação – Camila de Souza Ferreira. Link para defesa: https://meet.google.com/krg-awyy-shu Modelagem do Consenso Bizantino em Timed Automata Resumo: Esta dissertação apresenta uma modelagem formal […]

Modelagem do Consenso Bizantino em Timed Automata Read More »

Defesas de Tese
Análise Experimental de Algoritmos de Desaprendizado de Máquina em Contextos de Privacidade e Segurança

Análise Experimental de Algoritmos de Desaprendizado de Máquina em Contextos de Privacidade e Segurança

Será defendida no dia 17 de novembro de 2025, às 13:30 horas, por videoconferência, a Dissertação de Mestrado intitulada “Análise Experimental de Algoritmos de Desaprendizado de Máquina em Contextos de Privacidade e Segurança”, do candidato ao título de Mestre em Computação – Daniel Carlos Souza de Jesus. Link para defesa: https://meet.google.com/ncs-zrrx-ejh Análise Experimental de Algoritmos de Desaprendizado

Análise Experimental de Algoritmos de Desaprendizado de Máquina em Contextos de Privacidade e Segurança Read More »

Defesas de Tese
Desafios no Gerenciamento de Riscos Cibernéticos nos Setores de Infraestrutura Crítica: Uma Revisão Sistemática da Literatura

Desafios no Gerenciamento de Riscos Cibernéticos nos Setores de Infraestrutura Crítica: Uma Revisão Sistemática da Literatura

Será defendida no dia 4 de novembro de 2025, às 14:00 horas, por videoconferência, a Dissertação de Mestrado intitulada “Desafios no Gerenciamento de Riscos Cibernéticos nos Setores de Infraestrutura Crítica: Uma Revisão Sistemática da Literatura”, da candidata ao título de Mestre em Computação – Elenice dos Santos Costa. Desafios no Gerenciamento de Riscos Cibernéticos nos Setores

Desafios no Gerenciamento de Riscos Cibernéticos nos Setores de Infraestrutura Crítica: Uma Revisão Sistemática da Literatura Read More »

Defesas de Tese
Exploring Machine Learning and General-purpose Generative AI Techniques for Merge Conflict Resolution

Exploring Machine Learning and General-purpose Generative AI Techniques for Merge Conflict Resolution

Será defendida no dia 14 de outubro de 2025, às 18:00 horas, por videoconferência, a Tese de Doutorado intitulada “Exploring Machine Learning and General-purpose Generative AI Techniques for Merge Conflict Resolution”, do candidato ao título de Doutor em Computação – Paulo Augusto Neves de Carvalho Elias. Link para defesa: https://meet.google.com/hjc-wgai-zig  Resumo: A resolução manual de conflitos de

Exploring Machine Learning and General-purpose Generative AI Techniques for Merge Conflict Resolution Read More »

Defesas de Tese
Um Framework para Avaliação de Completude e Alinhamento de Instrumentos de Planejamento Urbano

Um Framework para Avaliação de Completude e Alinhamento de Instrumentos de Planejamento Urbano

Será defendida no dia 8 de outubro de 2025, às 09:00 horas, por videoconferência, a Tese de Doutorado intitulada “Um Framework para Avaliação de Completude e Alinhamento de Instrumentos de Planejamento Urbano”, do candidato ao título de Doutor em Computação – Matheus Moreira Cruz. Link para defesa: https://meet.google.com/shp-qfoe-axc  Um Framework para Avaliação de Completude e Alinhamento de

Um Framework para Avaliação de Completude e Alinhamento de Instrumentos de Planejamento Urbano Read More »

Defesas de Tese
Pri4Gamers: Uma Abordagem para Apoiar a Integração da Privacidade no Design de Jogos Digitais

Pri4Gamers: Uma Abordagem para Apoiar a Integração da Privacidade no Design de Jogos Digitais

Será defendida no dia 3 de outubro de 2025, às 14:00 horas, por videoconferência, a Tese de Doutorado intitulada “Pri4Gamers: Uma Abordagem para Apoiar a Integração da Privacidade no Design de Jogos Digitais”, da candidata ao título de Doutor em Computação – Mônica da Silva. Link para defesa: meet.google.com/bip-rqce-hse Pri4Gamers: Uma Abordagem para Apoiar a Integração da

Pri4Gamers: Uma Abordagem para Apoiar a Integração da Privacidade no Design de Jogos Digitais Read More »

Defesas de Tese
Fusão de Modelos Transformers para Aprimorar a Generalização na Classificação de Textos em Português

Fusão de Modelos Transformers para Aprimorar a Generalização na Classificação de Textos em Português

Será defendida no dia 15 de setembro de 2025, às 16:00h, por videoconferência, a Proposta de Tese de Doutorado intitulada “Fusão de Modelos Transformers para Aprimorar a Generalização na Classificação de Textos em Português”, da candidata ao título de Doutor em Computação – Annie Vianna Amorim. Link para defesa: https://meet.google.com/gzc-tmsd-nnf Fusão de Modelos Transformers para Aprimorar a Generalização na Classificação de

Fusão de Modelos Transformers para Aprimorar a Generalização na Classificação de Textos em Português Read More »

Defesas de Tese
Abordagem de Otimização para Alocação de Privacy Budget no Problema de Agrupamento Diferencialmente Privado

Abordagem de Otimização para Alocação de Privacy Budget no Problema de Agrupamento Diferencialmente Privado

Será defendida no dia 5 de setembro de 2025, às 13h30, por videoconferência, a Proposta de Tese de Doutorado intitulada “Abordagem de Otimização para Alocação de Privacy Budget no Problema de Agrupamento Diferencialmente Privado”, do candidato ao título de Doutor em Computação – Augusto César Fadel. Link para defesa: https://meet.google.com/suj-vnkr-qhf?hs=224 Abordagem de Otimização para Alocação de Privacy Budget no Problema de

Abordagem de Otimização para Alocação de Privacy Budget no Problema de Agrupamento Diferencialmente Privado Read More »

Defesas de Tese
Estudo e Avaliação de Métodos de Imputação para Bases de Dados Longitudinais

Estudo e Avaliação de Métodos de Imputação para Bases de Dados Longitudinais

Será defendida no dia 10 de setembro de 2025, às 09:00 horas, por videoconferência, a Dissertação de Mestrado intitulada “Estudo e Avaliação de Métodos de Imputação para Bases de Dados Longitudinais”, do candidato ao título de Mestre em Computação – Luiz Fernando Coelho Passos. Link para defesa: https://meet.google.com/hbt-xjsz-bwp Estudo e Avaliação de Métodos de Imputação para Bases

Estudo e Avaliação de Métodos de Imputação para Bases de Dados Longitudinais Read More »

Defesas de Tese
Algoritmos de Otimização Aplicados ao Problema do Comitê de Agrupamentos

Algoritmos de Otimização Aplicados ao Problema do Comitê de Agrupamentos

Será defendida no dia 4 de setembro de 2025, às 10:00 horas, por videoconferência, a Tese de Doutorado intitulada “Algoritmos de Otimização Aplicados ao Problema do Comitê de Agrupamentos”, do candidato ao título de Doutor em Computação – Augusto Pizano Vieira Beltrão. Link para defesa: meet.google.com/wvm-gbcg-szi  Algoritmos de Otimização Aplicados ao Problema do Comitê de Agrupamentos Resumo:

Algoritmos de Otimização Aplicados ao Problema do Comitê de Agrupamentos Read More »

Defesas de Tese