Título: Modelagem de Ações em Jogos por meio de Análise de RPGs.

Banca Examinadora:

Prof. Dr. Miguel Franklin de Castro  (MDCC/UFC - Orientador) 
Prof. Dr. Fernando Antonio de Carvalho Gomes (UFC - Coorientador)
Prof. Dr. José Gilvan Rodrigues Maia (UFC)
Prof. Dr. Daniel Valente de Macedo (UNIFOR)

Data: 25 de maio de 2018

Título: Matemática feita no computador: Estudos sobre uma coleção de sistemas formais, com uma investigação sobre estruturas indutivas, e a separação entre lógica e automação em assistentes de prova

Banca Examinadora:

Prof. Dr. Carlos Eduardo Fisch de Brito (MDCC/UFC - Orientador) 
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Prof. Dr. Pablo Mayckon Silva Farias (UFC)
Prof. Dr. Ruy José Guerra Barretto de Queiroz (UFPE)

Data: 24 de maio de 2018

Título: Avaliação da competição no treino de agentes autônomos com Aprendizado Profundo por Reforço em jogos de Tiro em Primeira Pessoa.

Banca Examinadora:

Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC - Orientador) 
Prof. Dr. Creto Augusto Vidal (MDCC/UFC - Coorientador)
Prof. Dr. Yuri Lenon Barbosa Nogueira (UFC - Coorientador)
Prof.ª Dr.ª Soraia Raupp Musse (PUC-RS)

Data: 20 de abril de 2018

Título: MetisIDX: Indexação de Dados Preditiva.

Banca Examinadora:

Prof. Dr. Javam de Castro Machado (MDCC/UFC - Orientador)
Prof. Dr. Caetano Traina Júnior (USP)
Prof. Dr. Ângelo Roncalli Alencar Brayner (MDCC/UFC)

Data: 12 de março de 2018

Título: Uma Abordagem de Privacidade Diferencial para Dados Correlacionados Utilizando Técnicas de Agrupamento

Banca Examinadora:

Prof. Dr. Javam de Castro Machado (MDCC/UFC - Orientador)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof. Dr. Luciano de Andrade Barbosa (UFPE)

Data: 05 de março de 2018