Bernardo Toninho

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.

Enrollment year: 2009
Thesis: A Logical Foundation for Session-based Concurrent Computation
Graduation year: 2015
Current position: Assistant Professor at Universidade Nova de Lisboa
PT Supervisor: Luís Caires
CMU Supervisor: Frank Pfenning