![Peisen Yao](https://conf.researchr.org/getProfileImage/peisenyao/99ae8813-569d-46de-8cb7-fe2b922f49c4/small.jpg?1711610185000)
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
ECOOP and ISSTA 2021-profile
View general profile
View general profile