I am a PhD student at the University of Toronto. I am interested in set theory. I find choiceless models the most interesting. More recently, I have been learning about Toronto spaces.

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.