Van Chan Ngo

Registered user since Mon 8 Oct 2018

Name: Van Chan Ngo

Country: United States

Affiliation: Carnegie Mellon University

Personal website: https://channgo2203.github.io

Research interests: Formal Verification, Programming Languages and Compilers, Language-based Security

PLDI 2019-profile
View general profile