# Teaching

## Seminars

A full calendar of our seminars is here.

Seminar on Homotopy Theory

I frequently organize the algebra seminar.

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.