conf.researchr.org / Phúc C. Nguyễn
Registered user since Wed 12 Nov 2014
Name:Phúc C. Nguyễn
Affiliation:Google
GitHub: https://github.com/philnguyen
Research interests:Programming Languages, Static Analysis, Verification, Symbolic Execution, Type Systems
Contributions