Qualificações

• Doutorado em Ciência da Computação (Imperial College London, University of London, Londres, Reino Unido, 2007)
• 2000-2001 Mestrado em Ciência da Computação
• 2003-2007 Doutorado em Ciência da Computação
• 2008-2009 Pós-doutorado em Universidade Federal do Rio Grande do Sul

Áreas de Interesse

• Extração e verificação de modelos de comportamento
• Desenvolvimento de Software Confiável
• Verificação Formal de Sistemas
• Desenvolvimento de Sistemas Computacionais Não-Convencionais