Anh Vo


I am currently working for the High Performance Computing team at Microsoft. I recently graduated as a Computer Science Ph.D. from the University of Utah under the advising of Professor Ganesh Gopalakrishnan. I was also a member of the Utah Verification Group, whose main research area is applying formal verification methods to verify concurrent systems. In particular, my research projects centered around scalable correctness checking tool for MPI programs.

I previously obtained my Bachelor and Master in Computer Science at Geoge Mason University, Virginia. For all of you who followed college basketball, GMU was the underdog team in 2006 that defeated UNC and UConn to advance to the Final Four before losing to Florida (who eventually won the National Championship that year). I was advised by Professor Elizabeth White. My focus was on compiler optimizations and analysis.