[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 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.