Researcher on technology and public policy for connected vehicles. Interested on engineering and economics of ICTs and transportation.
Alexandre Ligo
Andrew McHugh
Benjamin Duraes
Alexandre Mateus
Andrew Novotny
Benjamin Nimmons
Alexandre Santos
Angela Park
Bernardo Toninho
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.
