Titulação:

Doutor em Engenharia da Computação
FEEC/UNICAMP - Campinas, 2003

Mestre em Ciência da Computação
IME/USP - São Paulo, 1997

Bacharel em Matemática Aplicada
UFES - Vitória,  1993