I graduated in May 2026 with a degree in mathematics from McGill University. I currently live in Toronto and am looking for gainful employment.
Currently (last updated 2026-07-26):
- I have a passing interest and some experience in Lean. Working on getting Sperner's Lemma into Mathlib.
- Learning Japanese. I self-studied a bit last year, took a year of classes that used Nakama 2, and am back to self-studying. I started because I wanted to play Tokimeki Memorial.
- I sometimes play video games, mostly when I'm on public transit. Right now I'm playing Shin Megami Tensei: Nocturne and Persona 4 (in my progression of playing ATLUS games after Persona 5 and Catherine)
Things I've done in reverse chronological order:
- In 2025, worked on optimization problems for a startup in Montreal, Lisplogics,
- Competed at the ICPC North American Championship (NAC) in 2023 and 2024 in Florida with my teammates Alex WP and Josh Goldman
- Won CodeJam 2023 (see projects page)
- Worked on verified computing for finding zeroes of finite-dimensional projections of Swift-Hohenberg under Jean-Philippe Lessard during Summer 2023, with a SURA award
RESUME (PDF file, last updated: 2026-07-26)
Official lecture notes I wrote on Disjoint Set (external link, PDF file) for COMP 252 with Parth Gupta
Cauchy's Integral Formula to test MathJax: \[ f(z) = \oint \frac{f(\zeta)}{\zeta - z} \, d\zeta \]
Testing some of the LaTeX macros (\R, \fO, \e) (if they don't work, try force refreshing [Ctrl-F5 on Chrome Windows]): \[ \R, \fO, \e \]