Hi there, welcome to Can Zhou’s personal website :)
Some facts about me:
Most of my time is spent on doing nothing in particular, but when I’m not doing nothing I’m either working on formal verification stuff, programming, reading, or playing squash.
Here is my list of 100 things to do before I die.
For my research, please check this page.