Main Page

Qiyuan Zhao (赵启元)

Ph.D. student at VERSE lab, School of Computing, National University of Singapore

I have worked in the general field of programming languages, formal methods and software engineering. That said, I decide to focus my research in my Ph.D. on programming language theory, and formal verification (using automatic/interactive theorem provers).

Personal Information


Time format: YYYY.MM.DD



Coming soon …

Resources & Misc

Note: I decide to update this section periodically, probably every 1-2 weeks?

Useful things (can be publicly found on the Internet):

The (soft) things-one-should-know-before-or-during-one’s-PhD series:

Powered by Flask & nginx & gunicorn & pandoc

Last updated: 2023.10.18