Título: Técnicas para Construção de Árvores Filogenéticas
Banca Examinadora:

Prof. Dr. Fernando Antonio de Carvalho Gomes (MDCC/UFC - Orientador)
Prof. Dr. Nelson Maculan Filho (UFRJ)
Prof. Dr. Carlos Eduardo Ferreira (IME)
Prof. Dr. Ruy Luiz Milidiú (PUC/RJ)
Prof. Dr. Thalles Barbosa Grangeiro (UFC)
Prof. Dr. Tarcísio Haroldo Cavalcante Pequeno (UFC)

Data: 27 de abril de 2007

Título: SIM: Um Modelo Semântico Inferencialista para Expressão e Raciocínio em Sistemas de Linguagem Natural
Banca Examinadora:

Prof. Dr. Tarcisio Haroldo Cavalcante Pequeno (UFC - Orientador)
Prof. Dr.  João José Vasco Peixoto Furtado (UNIFOR)
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC)
Profª. Drª. Clarisse Sieckenius de Souza (PUC/RJ)
Profª. Drª Helena Franco Martins (PUC/RJ)

Data: 12 de março de 2010

Título: Sistemas Esquemáticos de Dedução Natural - Um Estudo Prova-Teórico.
Banca:

Profª. Drª Ana Teresa de Castro Martins (MDCC/UFC - Orientadora)
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC)
Prof. Dr. Luiz Carlos Pereira (PUC/RJ)
Prof. Dr. Ruy de Queiroz (UFPE)
Prof. Dr. Mário Roberto Folhadela Benevides (UFRJ)

Data: 12 de março de 2010

Título: Uma Plataforma CCA para Aplicações Científicas Usando Conectores
Banca Examinadora:

Prof. Dr. Ricardo Cordeiro Corrêa (UFC - Orientador)
Profª. Drª. Alba Cristina Magalhães de Melo (UNB)
Profª. Drª. Maria Cristina Silva Boeres (UFF)
Prof. Dr. Francisco Heron de Carvalho Junior (MDCC/UFC)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC)

Data: 16 de abril de 2010

Título: Detecção e Reconhecimento de Objetos usando Descritores Locais

Banca Examinadora:

Prof. Dr. Fernando Antônio de Carvalho Gomes (MDCC/UFC - Orientador)
Prof. Dr. Creto Augusto Vidal, UFC (MDCC/UFC) 
Prof. Dr. Ruy Luiz Milidiú (PUC/RJ) 
Prof. Dr. Francisco Nivando Bezerra (IFCE/Maracanaú) 
Prof. Dr. José Antonio Fernandes de Macedo (MDCC/UFC)

Data: 20 de maio de 2010