## Mathematics

**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** information can be found **HERE**.