Areas of Expertise
Program verification, high-performance computing, concurrency
PhD, Computer Science, University of Lisbon, Portugal, 2015
MSc, Computer Science, University of Lisbon, Portugal, 2009
BSc, Computer Science, University of the Azores, Portugal, 2007
Tiago Cogumbreiro's research helps programmers write software with fewer bugs. He develops tools that localize errors, proves the correctness of algorithms, and mines how we write code to identify anomalies.