Before joining Yale, I was an assistant professor at Pontifícia Universidade Católica de Minas Gerais (PUC-MG) where I taught a compiler construction course. During that period I was also working independently in the JewelVM project.
I have a M.Sc. degree in Computer Science from the Universidade Estadual de Campinas (UNICAMP), where I worked with Prof. Guido Araújo. Also, I have a B.Sc. degree in Computer Science from the Universidade Federal de Minas Gerais (UFMG).
My research interests comprise programming languages study, design, and implementation.
Currently, I am working towards the static verification of safety properties for shared-memory multiprocessors at assembly level, providing a formal reasoning about memory consistency models.
In the past, I have worked intensively with "Just-In-Time" compilation technology and the implementation of the Java runtime environment.
I am not a teaching assistant for the fall term.
Office: AKW 312
I am from Belo Horizonte, third largest city of Brazil (after São Paulo and Rio) located in the state of Minas Gerais.