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 AplicadaUFES - Vitória, 1993