Qualificações

• Doutorado em Ciência da Computação (University of Edinburgh, Edinburgh, Escócia, 2000)
• 1989-1992 Mestrado em Computação
• 1994-1999 Doutorado em Ciência da Computação
• 2013-2014 Pós-doutorado em New York University

Áreas de Interesse

• Lógica e Semântica de programas
• Análise Estática de Programas
• Semântica para Linguagens de Bancos de Dados
• Lógica e Semântica de Programas
• Inteligência Artificial
• Análise Estática de Programas Distribuídos
• Lógicas para Inteligência Artificial
• Especificação e Verificação de Sistemas Multiagentes