Teaching

Seminars

A full calendar of our seminars is here.

  1. Seminar on Homotopy Theory

  2. I frequently organize the algebra seminar.

  3. I have run a seminar on algebraic structures in Quantum Field Theory too.

Current and Recent Courses

Fall 2020
MAS5932—Logic, Type Theory, and the Mechanization of Mathematics
Summer 2020
MAA4402–Complex Variables
Earlier
Home pages for previous courses.