马塞诸斯州大学波士顿

程序验证，高性能计算，并发

葡萄牙里斯本大学计算机科学博士，2015年

硕士，计算机科学，里斯本大学，葡萄牙，2009年

学士学位，计算机科学，亚速尔大学，葡萄牙，2007

Tiago Cogumbreiro的研究帮助程序员编写bug更少的软件。他开发了一些工具来定位错误，证明算法的正确性，并挖掘我们如何编写代码来识别异常。