conf.researchr.org / Phúc C. Nguyễn

Registered user since Wed 12 Nov 2014
Name:Phúc C. Nguyễn
Affiliation:Google
Research interests:Programming Languages, Static Analysis, Verification, Symbolic Execution, Type Systems
Contributions
Registered user since Wed 12 Nov 2014
Contributions