De setembro/1998 até dezembro/2002 realizei atividades de pesquisa no Grupo de Matemática e Fundamentos da Computação GMFC.

Ao final do curso desenvolvi o Projeto de Gradução. O resultado deste trabalho (um Provador de Teoremas) pode ser consultado no link a seguir:

MOP (MOnadic theorem Prover)

Neste link, menciono minhas áreas de interesse e/ou atuação.