I am interested in programming languages as tools for effective communication with computers. In my PhD I want to explore the design of type systems for programming languages that are expressive and efficient by using substructural logics to capture parts of program behaviour such as resource management or evaluation order.
Born in Brazil, I got a degree in Mechatronics Engineering at the University of BrasÃlia (UnB). However, I enjoyed the Computer Science part more than the others, especially the more mathematical side, so I decided to pursue a Masters’s in Computer Science at UnB. I chose to apply for the CMU/Portugal Ph.D. as the next step in my academic career and was fortunately accepted.
I joined the CMU|Portugal program in the end of 2009 as a dual PhD student working with Prof. Frank Pfenning at CMU and Prof. LuÃs Caires at UNL. My PhD work was focused on the logical foundations of message-passing concurrent computation, based on a so-called propositions-as-types correspondence between logic and programming languages. After graduating in 2015, I was a Research Associate at Imperial College London, working with Prof. Nobuko Yoshida on the theory and practice of type-based concurrent programming. Since 2018 I am an Assistant Professor in the Computer Science Department at Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa.
