|
|
|
|
|
|
|
 |
||||
|
|
Rodrigo FerreiraYale >> CS dept >> FLINT group Short BioI am a 5th year Ph.D. student in Computer Science at Yale University. I am working with Prof. Zhong Shao, as part of the FLINT research group. 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).
Research InterestsMy 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.
Teaching ActivitiesI am not a teaching assistant for the fall term.
Contact InformationOffice: AKW 312
E-mail:
Phone:
Mailing Address:
Personal LifeI am from Belo Horizonte, third largest city of Brazil (after São Paulo and Rio) located in the state of Minas Gerais.
|
|
||
|
|
|
|
 |
|
