MMath student in the department of Combinatorics & Optimization at the University of Waterloo.

I study algebraic graph theory, combinatorics, and matroid theory. I also enjoy formalizing mathematics in the Lean proof assistant.