Dissertação
Guilherme de Oliveira Silva
Certification of programs via Gödel numbering
- 12/09/2025
- 13:00
- Sala https://tinyurl.com/3a7pt4vw do ICEx
Banca:
- Prof.(ª) Fernando Magno Quintão Pereira - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
- Prof.(ª) Arthur Azevedo de Amorim - PhD (Department of Computer Science - Rochester Institute of Technology)
- Prof.(ª) Xavier Rival - PhD (Computer Science Department - INRIA Paris)
Diego Henrique Marques Matos
Design and Implementation of an Urban Data Cube Platform
- 26/09/2025
- 09:00
- Sala Remoto do Remoto
Banca:
- Prof.(ª) Clodoveu Augusto Davis Júnior - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
- Prof.(ª) Erickson Rangel do Nascimento - Doutor (Departamento de Ciência da Computação - UFMG)
- Prof.(ª) Gilberto Ribeiro de Queiroz - Doutor (Divisão de Processamento de Imagens - INPE)
Tese
Proposta de Tese
Daniel Pimentel Kansaon
The Dynamics of Coordinated and Malicious Behavior in Public Instant Messaging Groups
- 12/09/2025
- 13:30
- Sala https://tinyurl.com/bdze9z5a do ICEx
Banca:
- Prof.(ª) Fabrício Benevenuto de Souza - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
- Prof.(ª) Michele Amaral Brandão - Doutora (Tecnológico em Processos Gerenciais - Instituto Federal de Educação Ciência e Tecnologia de Minas Gerais)
- Prof.(ª) André Luiz Lins de Aquino - Doutor (Instituto de Computação - UFAL)
- Prof.(ª) José Maria da Silva Monteiro Filho - Doutor (Departamento de Computação - Universidade Federal do Ceará)
Marcos Magno de Carvalho
Characterizing the Integration of Time-Sensitive Networks and Dynamic Cloud Computing Environments
- 16/09/2025
- 14:00
- Sala https://tinyurl.com/ybdrwsxf do ICEx
Banca:
- Prof.(ª) Daniel Fernandes Macedo - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
- Prof.(ª) Ítalo Fernando Scotá Cunha - Doutor (Departamento de Ciência da Computação - UFMG)
- Prof.(ª) Christian Rodolfo Esteve Rothenberg - Doutor (DCA - UFMG)
- Prof.(ª) Melike Erol-Kantarci - Doutorado (School of Electrical Engineering and Computer Science - University of Ottawa)