![Peisen Yao](https://conf.researchr.org/getProfileImage/peisenyao/800a795a-83da-4094-aaac-82cbd7a99754/small.jpg?1712687149000)
Registered user since Sun 30 Jun 2019
Name:Peisen Yao
Country:China
Affiliation:Hong Kong University of Science and Technology
Research interests:Program Analysis and Verification, Automated Reasoning, Security
Contributions
PLDI 2021-profile
View general profile
View general profile