MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Bernardo Toninho
Alumni
Publications

I 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

2018
2017
2016

Professional Activities

PC Members and Chairs