[Return to homepage]

Sculpture at Safnasafnið museum in Iceland

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 of my recent talks are HERE.

Logic Seminar videos and notes are HERE.

Fall 2021 Reading Course videos and notes are HERE.

NOVEMBERFEST information can be found HERE

Math 1300 resources are HERE. (coming soon)