Posee un título de grado en Bachillerato en Ciencias de la Computación por la Universidade Estadual de Maringá (1997), una maestría en Ciencias de la Computación y Matemática Computacional por la Universidade de São Paulo (2000), y un doctorado en Ciencias de la Computación y Matemática Computacional por la Universidade de São Paulo (2004). Realizó una estancia postdoctoral en el Centre de Recherche Informatique de Montreal (2008–2010). Es Profesor Titular en la Universidade de São Paulo. Tiene experiencia en el área de Ciencias de la Computación, con énfasis en Ingeniería de Software, trabajando principalmente en los siguientes temas: pruebas de software, métodos formales y lenguajes de programación. (Traducido de Currículo Lattes)
