I am an incoming computer science master’s student at the University of Toronto interested in functional programming languages, type systems, logics, and their applications to quantum computing. I am working under the supervision of Ningning Xie.

I spent my undergrad studying for a first class honours degree in mathematics and computer science at McGill University in a 13-story, brutalist rectangular prism, where as a member of the Computation and Logic Group, I worked with Brigitte Pientka, Ryan Kavanagh, and Chuta Sano on mechanizing a quantum programming language based on adjoint logic in Beluga. Previously, I collaborated with Andrew Piper at the .txtlab on quantitative cultural analytics.

I did an exchange semester in Edinburgh (also in a tall, ugly, “wonder of the world” building) studying the categorical semantics of quantum programming languages under Chris Heunen. 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 was also a summer research student at Dalhousie University in Halifax, Nova Scotia (in a much nicer building). Along with Peter Selinger and Neil Ross, I was 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 summer research internships throughout graduate school — reach out if we share interests!