Papers, Talks, and Posters

COMP400 RESEARCH PAPER: Structural Proto-Quipper: Mechanization of a Linear Quantum Programming Language in a Structural Setting.

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]

LLCU255 RESEARCH PAPER: The Poet Who Couldn’t Know It: How ChatGPT’s Imitation of Poetry Differs From the Real Thing