SPLASH 2021 (series) / Peisen Yao
![Peisen Yao](https://2021.splashcon.org/getProfileImage/peisenyao/ba28abba-efb0-4a89-a81c-15de8cde7c69/small.jpg?1711610185000)
Registered user since Sun 30 Jun 2019
Name:Peisen Yao
Bio:
I am broadly interested in topics related to programming languages, software engineering, formal method, and cybersecurity, with an emphasis on using program reasoning techniques to ensure software reliability.
Country:China
Affiliation:Hong Kong University of Science and Technology; Ant Group
Research interests:Programming Language, Software Engineering, Security
Contributions
SPLASH 2021-profile
View general profile
View general profile