Van Chan Ngo

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
Research interests:Software Verification, Program Static Analysis, Compiler Verification

Contributions

PLDI 2018 Author of Bounded Expectations: Resource Analysis for Probabilistic Programs within the PLDI Research Papers-track
PLDI 2017 Committee Member in Artifact Evaluation Committee