Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Tiago Cogumbreiro

Registered user since Mon 9 Mar 2015

Name:Tiago Cogumbreiro

Tiago is an assistant professor at UMass Boston. Tiago is excited by concurrency theory and parallel programming. In his Ph.D., Tiago proposed two techniques to handle barrier deadlocks: a deadlock-free programming interface, and a runtime verification tool, called Armus. Recently, he has been interested in using Coq and Why3 to produce certified algorithms.

Past experience, includes being a research assistant at Imperial College London, where he was supervised by Nobuko Yoshida, and a visiting scholar at Rice University, where he was supervised by Vivek Sarkar. Tiago received his Ph.D., March ’15, at ULisboa, where he was advised by Francisco Martins, and his B.Sc. at Universidade dos Açores.

Country:United States
Affiliation:University of Massachusetts Boston
Research interests:Concurrency, Type Systems, Dependent Types, Parallel Programming


BEAT 2019 Hardware Interactions as Behavioural Types
Show activities from other conferences

POPL 2019-profile
View general profile