Skip to main content

Alena Gusakov

https://agusakov.github.io/professional-site/

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.

Top Answers
No answers with score of 5 or more