Qualificações

• 1986-1988 Graduação em Eng Elétrica Incompleto
• 1989-1992 Graduação em Ciências de Computação, Ênfase Softw. de Aplicação
• 1989-1992 Graduação em Ciências de Computação, Ênfase Software Básico
• 1993-1995 Mestrado em Computação
• 1995-2000 Especialização em Diploma Of The Imperial College
• 1995-2000 Doutorado em PhD in Computing Science
• 2005-2006 Pós-doutorado em Group Of Logic Language And Computation King's College London

Áreas de Interesse

• Teoria da Computação
• Inteligência Artificial
• Logic in Computer Science and Artificial Intelligence
• Machine Learning