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ógicas para Inteligência Artificial
• Especificação e Verificação de Sistemas Multiagentes
• Sistemas de Tipos e Semântica de Linguagens de Programação