Qualificações

• Doutorado Sanduiche em Computação Verificada (Universidade de Karlsruhe, Alemanha, 2006-2008)
• 2003-2005 Mestrado em Ciência da Computação
• 2005-2009 Doutorado em Ciência da Computação

Áreas de Interesse

• Análise de Intervalos
• Computação Verificada
• Computação de Alto-Desempenho
• Computação de Alto Desempenho
• Robótica Intervalar