### teaching

**Winter semester 2020/21**- Denis-Charles Cisinksi and I are running a reading joint seminar on Homotopy Type Theory.
- I am teaching the second half of
*Topology*. The first half will be taught by Ulrich Bauer.

**Summer semester 2020***Advanced Topics in Algebraic Topology*, following the first chapters of Bott-Tu, Differential Forms in Algebraic Topology- Ulrich Bauer and I ran a student seminar on
*From homotopical algebra towards higher categories*. - Denis-Charles Cisinksi and I ran a joint seminar on Pyknotic/Condensed Mathematics.

**Winter semester 2019/20***Algebraic Topology*- Ulrich Bauer and I ran a student seminar on
*Categories by examples*.

- In July 2019 I gave a lecture course at a Summer School on Topology and Applications at Makarere University in Kampala, Uganda. See here.
**Summer semester 2016**Owen Gwilliam and I taught a course on DAG X: Formal moduli problems in Spring 2016 at MPIM Bonn. See here.

Information on my earlier teaching experience can be found here.