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.
