Áreas de Interesse
Teoria de Programação
Lógicas Modais
Inteligênicia Artificial
Especificações de Sistemas Distribuídos