About Tiago Cogumbreiro

Assistant professor @ UMass Boston
I research: verification of GPU programs
I love: Coq / OCaml

Lists

Timeline

AssertionError has no activity yet