As an undergrad in mathematics and computer science, I have been pumping programs and proofs at the University of Toronto since 2019. My area of interest is broad in pure math, but my favorites are mathematical logic and theoretical CS. In my spare time, you can find me shredding trails on my mountain bike.

Favorite things I learned from each course
First Year
Second Year
Third Year
  • Chernoff Bounds are cool
  • Baby PCP Theorem
  • Write up on automatic verification of concurrent and recursion programs coming soon...
  • CSC165: Math for CS
  • CSC240: Intro to Theory of Computation