Main Page

Qiyuan Zhao (赵启元)

In case you are interested in how to pronounce my name … “Qiyuan Zhao” is the Chinese Pinyin form of my name. In Pinyin, the “Qi” part pronounces like the “chi” part of “chip”; the “Zh” part pronounces like the “dr” part of “draw”; the “ao” part pronounces like the “ow” part of “now”.

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 automated/interactive theorem provers).

Personal Information


Time format: YYYY.MM.DD

Selected Publications

For the full list of my publications, please refer to my Google scholar page or my CV.




Resources & Misc

Note: I decide to update this section periodically, probably every 1-2 weeks? Or every 1-2 months? I don’t know; it just depends.

Great talks:

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

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

For fun:

Powered by Flask & nginx & gunicorn & pandoc

Last updated: 2024.07.05