Hey! I am a BMath (honours) student double majoring in Pure mathematics and Combinatorics & Optimization at the University of Waterloo, Canada.
My primary research interests are in the field of (algebraic and analytic) number theory, (modular arithmetic) algebraic geometry, cryptography and proof formalization. Specifically, I am interested in understanding:
Broadly summarizing, my mathematical interests lie in algebraic, categorical and \(p\)-adic (topological) topics, as well as combinatorial and discrete topics. I'm also involved in contributing to open-source projects that advance mathematical projects, including the Xena project on L∃∀N proof assistant.
In my free time, I'm passionate about activities beyond math, including playing strategic games like chess and squash. Lately, I've developed a fascination with shogi, a Japanese variant of chess. Additionally, I'm an avid fan of anime and enjoy watching it in my spare moments.
NetMath Certificate in (Pure) Mathematics, 2023
University of Illinois Urbana-Champaign, Department of Mathematics
BMath (hons) in Pure Math and Combinatorics/Optimization, 2021-2025