Próximas defesas

Dissertação

Guilherme de Oliveira Silva

Certification of programs via Gödel numbering

Data:
12/09/2025
Horário:
13:00
Local:
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

Data:
26/09/2025
Horário:
09:00
Local:
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

Data:
12/09/2025
Horário:
13:30
Local:
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

Data:
16/09/2025
Horário:
14:00
Local:
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)