I study Joint Honours Mathematics and Computer Science at McGill University in a 13-story, brutalist rectangular prism. My academic interests include type theory, substructural logics, programming language mechanization, NLP, and functional programming.

As a member of the Computation and Logic Group, I’m working with Brigitte Pientka, Ryan Kavanagh, and Chuta Sano on mechanizing a quantum programming language based on linear logic in Beluga. Previously, I collaborated with Andrew Piper at the .txtlab on quantitative cultural analytics.

From January until May of this year, I was in Edinburgh (also in a tall, ugly, “wonder of the world” building). I studied the categorical semantics of quantum programming languages under Chris Heunen and algorithmic game theory under Aris Filos-Ratsikas. I also joined TypeSig, a student-run research group in type theory, programming languages, and semantics where I played with natural numbers before the heading off to the pub.

I am currently a summer research student at Dalhousie University in Halifax, Nova Scotia (in a much nicer building). Along with Peter Selinger and Neil Ross, I am studying category theory, specifically Benton’s Linear Non-Linear Logic, and its application to the design of a novel quantum programming language.

Outside school, I enjoy crosswords, bouldering, data science, and writing. I’m open to connecting for research or internships — reach out if we share interests! I’ll be applying for grad schools in Canada and abroad for Fall 2026 entry.