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.
