Próximas defesas

Dissertação

Isabella de Melo Freitas

Abordagem heurística para um problema de programação de voos offshore

Data:
25/06/2026
Horário:
10:00
Local:
Sala https://tinyurl.com/yn68npfh do ICEx
Banca:
  • Prof.(ª) Thiago Ferreira de Noronha - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
  • Prof.(ª) Cristiano Arbex Valle - Doutor (Departamento de Ciência da Computação - UFMG)
  • Prof.(ª) Sebastián Alberto Urrutia - Doutor (Departamento de Ciência da Computação - UFMG)

Douglas Viana Coutinho

Transfer Learning Across MLIR Dialects

Data:
26/06/2026
Horário:
14:00
Local:
Sala https://tinyurl.com/mvzcuzeu do ICEx
Banca:
  • Prof.(ª) Fernando Magno Quintão Pereira - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
  • Prof.(ª) Vanderson Martins do Rosário - Doutorado (Pesquisa e Desenvolvimento (XNNC Team) - Cadence Design Systems)
  • Prof.(ª) Anderson Faustino da Silva - Doutorado (Departamento de Informática - Universidade Estadual de Maringá)
  • Prof.(ª) Chris Cummins - Doutorado (Não se aplica - Axiom Math)

Augusto Amaral Mafra

Formal Verification of Mixed-Signal Systems Using Real Number Modeling with SMT-based Model Checking

Data:
10/07/2026
Horário:
13:00
Local:
Sala 4325 - Zoom do ICEx
Banca:
  • Prof.(ª) Haniel Moreira Barbosa - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
  • Prof.(ª) Luiz Filipe Menezes Vieira - Doutor (Departamento de Ciência da Computação - UFMG)
  • Prof.(ª) Mathias Preiner - PhD (Center for Automated Reasoning at Stanford University - Stanford University)

Lucas Resende Pellegrinelli Machado

A Computational Framework for Enhancing Measurement Accessibility in 2D Materials Characterization

Data:
30/07/2026
Horário:
13:30
Local:
Sala TBD do ICEX
Banca:
  • Prof.(ª) Omar Paranaiba Vilela Neto - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
  • Prof.(ª) Adriano César Machado Pereira - Doutor (Departamento de Ciência da Computação - UFMG)
  • Prof.(ª) Bernardo Ruegger Almeida Neves - Doutor (Departamento de Física - UFMG)

Tese

Frederico Chaves Carvalho

Combining Genetic Algorithms, Deep Learning and Molecular Modeling for Target-specific Antiviral Peptide Design

Data:
29/06/2026
Horário:
14:00
Local:
Sala https://tinyurl.com/3jxxfvxb do ICEx
Banca:
  • Prof.(ª) Raquel Cardoso de Melo Minardi - Doutora (Departamento de Ciência da Computação - UFMG) - Orientador
  • Prof.(ª) Diogo César Batista Mariano - Doutor (Departamento Ciência da Computação) - Coorientador
  • Prof.(ª) Ana Maria Benko Iseppon - Doutora (Departamento de Genética - Universidade Federal de Pernambuco)
  • Prof.(ª) Cristiane Neri Nobre - Doutora (Departamento de Ciência da Computação - PUC/MG)
  • Prof.(ª) Gisele Lobo Pappa - Doutora (Departamento de Ciência da Computação - UFMG)
  • Prof.(ª) Karina dos Santos Machado - Doutora (Centro de Ciências Computacionais - Universidade Federal do Rio Grande)
  • Prof.(ª) Lucas Bleicher - Doutor (Instituto de Ciências Biológicas - UFMG)

Luigi Domenico Cecchini Soares

A novel formalisation of dynamic leakage analyses in computational systems

Data:
30/06/2026
Horário:
11:00
Local:
Sala Zoom do ICEX
Banca:
  • Prof.(ª) Mario Sérgio Ferreira Alvim Júnior - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
  • Prof.(ª) Josée Desharnais - Doutora (Departamento de Ciência da Computação e Engenharia de Software - Université Laval)
  • Prof.(ª) Catuscia Palamidessi - Doutora ( Laboratório de Informática - École Polytechnique / INRIA)
  • Prof.(ª) Thorsten Strufe - Doutor ( Departamento de Informática - Karlsruhe Institute of Technology)

Proposta de Tese

Ricardo Pagoto Marinho

CAIN: An intelligent routing protocol for coverage area increase in 6G networks

Data:
09/07/2026
Horário:
09:00
Local:
Sala Online do ICEX
Banca:
  • Prof.(ª) Antonio Alfredo Ferreira Loureiro - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
  • Prof.(ª) Fabrício Aguiar Silva - Doutor (Departamento de Informática - UFV)
  • Prof.(ª) Eduardo Coelho Cerqueira - Doutor (Instituto de Tecnologia - UFPA)
  • Prof.(ª) Marcos Augusto Menezes Vieira - Doutor (Departamento de Ciência da Computação - UFMG)
  • Prof.(ª) João Guilherme Maia de Menezes - Doutor (Ciência da Computação - UFMG)
  • Prof.(ª) Luiz Filipe Menezes Vieira - Doutor (Departamento de Ciência da Computação - UFMG)

Rodrigo Andrade Santos

Diagnosing Domain Shifts in Regularized Models: From Detection to Correction

Data:
20/07/2026
Horário:
13:00
Local:
Sala https://tinyurl.com/4r2s95sc do ICEx
Banca:
  • Prof.(ª) Fabrício Murai Ferreira - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
  • Prof.(ª) Hélio Pedrini - Doutor (Instituto de Computação - UNICAMP)
  • Prof.(ª) Jefersson Alex dos Santos - Doutor (Departamento de Ciência da Computação - UFMG)
  • Prof.(ª) Erickson Rangel do Nascimento - Doutor (Departamento de Ciência da Computação - UFMG)