Tiago Cogumbreiroمشاهده پروفایل
استادیار
Tiago Cogumbreiro is an Assistant Professor at the University of Massachusetts Boston, specializing in formal methods and high-performance computing. His research focuses on detecting concurrency errors like data-races and deadlocks in GPU programs, with a strong emphasis on static analysis and correctness proofs. PhD from University of Lisbon Postdoc at Georgia Tech and Rice University Research assistant at Imperial College London His work spans program analysis, GPU programming, and parallel computing, addressing challenges in concurrency verification and error localization. Key contributions include developing tools for static analysis of GPU kernels, formalizing automata theory in education, and creating frameworks for model checking hierarchical systems. Recent publications highlight trends in data-race detection via array projections, concurrency repair with resource cost analysis, and mechanized computational theory for educational purposes. His personal website details ongoing projects and affiliations with the Software Verification Lab .




