MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Bernardo Toninho
Research Associate
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.

Publications

2017
2016

Professional Activities

PC Members and Chairs