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: 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: 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