Dr Bernardo Toninho
Alumni
PublicationsI am interested in the intersection of type theory and proof theory with a strong emphasis on the applications to concurrency theory and concurrent programming. I hold a PhD from Carnegie Mellon University and from Universidade Nova de Lisboa, whose work focused on the logical foundations of session-based concurrency.
Bernardo is now at Universidade Nova de Lisboa
Publications
2020
-
: Featherweight Go. OOPSLA 2020 .
2019
Professional Activities
PC Members and Chairs
-
PLACES 2016 Programme Committee Member
Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)