U3 mathematics student at McGill University. I work as an algorithms engineer at Lisplogics
Currently (last updated 2025-12-13):
- Playing Catherine
- Interested lately in category theory, Lean, etc. I don't know much but I like hearing about different type systems. Right now I'm experimenting with writing programs and proving things about them in Lean.
- 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.
Things I am interested in hearing about:
How to get rid of "stimulation addiction", well-made dating sims (maybe with a stat mechanic?), ambient/field recordings/experimental/instrumental hip-hop music, good unique anime (if you ctrl-F "anime" on Library you can see what I like), good unique movies/books, non-slop contemporary Japanese literature, better/out-there language learning methods/applications (with a focus on Japanese)
Things I've done in reverse chronological order:
- 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: 2024-07-16)
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 \]