Graduação em Ciências da Computação pela Universidade Estadual de Londrina(1994), mestrado em Ciência da Computação pela Universidade de Brasília(1997) e doutorado em Sistemas Computacionais de Alto Desempenho pela (PEC/COPPE/UFRJ).