Home

This is the homepage of Carl Kwan.

I have moved to The University of Texas at Austin. This website is out-of-date, but feel free to explore anyways.

I am a graduate student in the Department of Computer Science at the University of British Columbia.

Research Interests: automated reasoning, formal methods, theoretical computer science

News: