My primary research areas are:

• Linear logic, most recently differential linear logic
• Categorical logic and proof theory
• Category theory, especially monoidal categories
• Applications of category theory to physics

My publications list, including links, are HERE.

Videos or slides of my recent talks are HERE.

Logic Seminar videos and notes are HERE.

Fall 2021 Reading Course videos and notes are HERE.

NOVEMBERFEST 2021 slides and video can be found HERE.

OCTOBERFEST 2022 slides and video can be found HERE.

OCTOBERFEST 2023 slides and video can be found HERE.

The webpage for Octoberfest 2024 can be found here.

Here is the website for Foundational Methods Of Computer Science 2025, which was held in Ottawa from June 17-June 20, 2025.

Here is the website for Octoberfest 2025, which was held October 25th-October 26th 2025.