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

Personal website:

Research interests: Software Verification, Program Static Analysis, Compiler Verification


PLDI 2018 Bounded Expectations: Resource Analysis for Probabilistic Programs
Show activities from other conferences

PLDI 2018-profile
View general profile