Name:Phúc C. Nguyễn

Affiliation:Google

Research interests:Programming Languages, Static Analysis, Verification, Symbolic Execution, Type Systems