MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Tiago Cogumbreiro
Alumni
Publications

Tiago Cogumbreiro was a PhD student advised by Francisco Martins at Universidade de Lisboa. His interests are concurrency theory, type theory, and parallel programming. The subject of his thesis focuses on developing strategies to handle barrier deadlocks.

Tiago is now at Rice University

Publications

2015