Yao Peisen

Email:
rainoftime - at - gmail - dot- com
pyao - at - connect - 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

Dissertation

Publications

* means corresponding author.

Drafts/Technical Reports

Projects

Service

Teaching

Invited Talks

Misc