ESEC/FSE 2021 (series) / Peisen Yao
![Peisen Yao](https://2021.esec-fse.org/getProfileImage/peisenyao/f1a37ef6-f5b0-41fe-928c-67dc404592a3/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
ESEC/FSE 2021-profile
View general profile
View general profile