My name is Can Zhou. 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.
can-zhou Goto Github PK
Name: Can Zhou
Type: User
Bio: PhD student@Imperial College London
Location: London, UK