conf.researchr.org / Phúc C. Nguyễn
![Phúc C. Nguyễn](https://conf.researchr.org/getProfileImage/phucnguyen/fa918d3c-90fd-4629-880b-dfa4de159a3a/small.jpg?1711529846000)
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