Registered user since Tue 7 Jun 2016
Name:Van Chan Ngo
Bio:
Chan received his Engineer degree from Hanoi University of Technology with excellent ranking, his Master degree in Computer Science (under a French government scholarship, Evariste Galois program) from Joseph Fourier University(University of Grenoble 1), and his Doctorate degree from Inria Rennes, France.
Country:United States
Affiliation:Carnegie Mellon University
Personal website:http://channgo2203.github.io
Research interests:Software Verification, Program Static Analysis, Compiler Verification
Contributions
| PLDI 2018 | Bounded Expectations: Resource Analysis for Probabilistic Programs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2018-profile
View general profile
View general profile