About Me
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.
Outside school, I enjoy crosswords, bouldering, data science, and writing. I’m open to connecting for research or internships this summer in Canada or abroad. I’ll be in Edinburgh for an exchange semester starting January (also in a tall, ugly, “wonder of the world” building) —let’s connect if we share interests!
Papers, Talks, and Posters
TALK: Structural Proto-Quipper: Mechanization of a Linear Quantum Programming Language in a Structural Setting. [Eastern Canada Logic and Programming Seminar 2024]
POSTER: Structural Proto-Quipper: Mechanization of a Linear Quantum Programming Language in a Structural Setting. [Undergraduate Computer Science Research Symposium] [Quantum – Science, Information, Technology, and Engineering Conference Toronto]
Updates
First Post! - December 27, 2024