Tiago Soares Cogumbreiro Garcia
Area of Expertise
Program verification, high-performance computing, concurrency
Degrees
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
Additional Information
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.