中文版

Yao Peisen

Email:
rainoftime - at - gmail - dot- com
pyao - at - cse - dot- ust - dot - hk
Research Interests
I am broadly interested in topics related to programming languages, software engineering, and cybersecurity, with an emphasis on using program reasoning techniques to ensure software reliability, e.g.,
News
Publications
Drafts/Technical Reports/Working Paper

* means corresponding author.

Projects
Reviewer/Sub-/Co-reviewer
Teaching
Funding and Cooperation
Misc