I'm Tian, a second year computer science student at the University of Waterloo.
I'm currently interested in proof assistants and formal verification, though my interests vary quite a bit.