MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Tiago Cogumbreiro

Alumni

dblp

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

2019

Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida: Dynamic deadlock verification for general barrier synchronisation. TOPLAS : 1 - 38.

2015

Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida: Dynamic deadlock verification for general barrier synchronisation. PPoPP 2015 : 150 - 160.