Qualificações

• Doutorado em Informática (Universidade Técnica de Berlim,TUB., Alemanha., 1996)
• 1989-1991 Mestrado em Computação
• 1992-1996 Doutorado em Informatik
• 2008-2009 Pós-doutorado em University of York

Áreas de Interesse

• Métodos Formais para especificação, desenvolvimento e análise de sistemas computacionais
• Bioinformática
• Engenharia de Software
• Métodos Formais
• Verificação e Semântica Formal
• Ensino de Computação na Educação Básica