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

Contributions

PLDI 2019Committee Member in External Review Committee within the PLDI Research Papers-track
Show activities from other conferences

Using general profile