I am a PhD student at the University of Toronto. I am interested in set theory. I find choiceless models the most interesting.

See the braid visualizer here. Basic usage: Connect pegs from top down as is convention. Each set of three pegs denotes a single braid. Multi-levelled for visualization of braid concatenation. To delete a strand, simply redrag the line. Crossings are set to "over" by default, so if you want P1->P2 to be above P2->P1, draw P1->P2 first. Enables saving images of canvas state and compression for desired presentation. Probably breakable.

Here you can watch the digits of pi attempt to traverse a randomly generated maze. This was motivated by the conjectured normality of pi and the Twitch stream "Pi Plays Pokemon" by WinningSequence. You can see it here. Someday I may consider increasing the sequence limit but for now it is just hard-coded into the application.

I also built stackclone, a StackExchange Teams clone with math mode and custom commands for personal use. If it helps you, please feel free to use it.

Teaching

Instructorships (UofT): MAT223H1 (Summer 23 & 25), MAT237Y (Summer 25)

TAships (UofT, not in any meaningful order): MAT223H1, MAT344H1, MAT327H1, MAT309H1, MAT329Y

TAships (McMaster, not in any meaningful order): Math 2x0/xx, Math 1x0, Math 2r0, Math 1c0

All course information is on the relevant LMS for each institution. i.e. Quercus for UofT, Avenue for McMaster.

Academic Stuff (aka publications, preprints, not submitted, in-preparation)

Everything should be in roughly chronological order...

  1. The arithmetic and comparability of SVC seeds (in-preparation; 2025)