SPLASH 2021 (series) / Peisen Yao

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