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
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Activities