Main Page

Qiyuan Zhao (赵启元)

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

I work in the general field of programming languages, formal methods and software engineering.

Personal Information




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