He holds a bachelor’s degree in Computer Science from Universidade Estadual de Maringá (1997), a master’s degree in Computer Science and Computational Mathematics from Universidade de São Paulo (2000), and a Ph.D. in Computer Science and Computational Mathematics from Universidade de São Paulo (2004). He completed a postdoctoral fellowship at the Centre de Recherche Informatique de Montreal (2008–2010). He is a Full Professor at Universidade de São Paulo. He has experience in the field of Computer Science, with an emphasis on Software Engineering, primarily focusing on the following topics: software testing, formal methods, and programming languages. (Translated from Currículo Lattes)
