Concurso de Livre-Docente em Setembro de 2016 no ICMC-USP

Pesquisa de pós-doutorado de Agosto de 2011 a Julho de 2012 na Lancaster University, UK

Doutorado em Ciências de Computação pelo Instituto de Ciências Matemáticas e de Computação da Universidade de São Paulo (ICMC-USP), São Carlos, SP, Brasil,concluído em 14 de fevereiro de 2003.
Tese (PDF)

Mestrado em Ciências de Computação e Matemática Computacional no Instituto de Ciências Matemáticas e de Computação da Universidade de São Paulo (ICMC-USP), São Carlos, SP, Brasil, concluído em dezembro de 1998. Dissertação (Word)

Bacharel em Ciências de Computação no ICMC-USP, São Carlos, SP, Brasil, concluído em 1986.