About

I am currently a second year Master's candidate in the Department of Computer Science at the University of British Columbia. My supervisor is Mark Greenstreet. I am a member of the Integrated Systems Design Lab.

My research primarily focuses on automated reasoning and the interactions between mathematics and computer science in the context of formal methods. This has led me to problems in the verification of analog/mixed-signal circuits, cyberphysical systems, and machine learning optimisation algorithms. I am also broadly interested in the applications of algebra, topology, and logic to theoretical computer science. A list of my papers can be found here.

Extended curriculum vitae (18 - 08 - 01); Condensed resume (18 - 08 - 01).

Contact

Email: carlkwan [AT] <insert> [DOT] ubc [DOT] ca
For emails strictly related to academic or research purposes, please replace <insert> with cs in the address above. For all other purposes, please replace <insert> with alumni.

I also have a (rarely maintained) Gitlab repository.

Miscellaneous

Tools: Debian, bash, vim, git

Sports: Badminton, Muay Thai, Judo, Kali

Arts: Chinese Languages and Classical Literature, Post-War Japanese Literature, Ancient Philosophy

This site was built using Hakyll.