Teaching

Johns Hopkins

AS.110.201: Linear Algebra (fall 2024).
AS.110.601: Algebra I (fall 2023).
HoTTEST Summer School (summer 2022).
AS.110.602: Algebra II (spring 2022).
AS.110.721: Homotopy Type Theory (fall 2021).
AS.110.301: Introduction to Proofs (spring 2021).
AS.110.411: Honors Algebra I (fall 2019).
AS.110.301: Introduction to Proofs (fall 2019).
AS.110.301: Introduction to Proofs (spring 2019).
AS.110.401: Introduction to Abstract Algebra (spring 2019).
AS.110.616: Algebraic Topology: the model-independent theory of ∞-categories (spring 2018).
AS.110.411: Honors Algebra I (fall 2017).
AS.110.601: Algebra (fall 2017).
Kan Extension Seminar II (spring 2017).
AS.110.202: Calculus III (fall 2016).
AS.110.616: Algebraic Topology (spring 2016).
AS.110.727: Category Theory in Context (fall 2015).

Harvard

Math 161: Category Theory in Context (spring 2015).
Math 131: Topology I (fall 2014).
Math 141: Introduction to Mathematical Logic (fall 2014).
Kan Extension Seminar (spring 2014).
Fun & Games with Discrete Mathematics (winter 2013).
Math 131: Topology I (fall 2012).
Math 266x: Categorical Homotopy Theory (spring 2012).

Advising

Current and former mentees include:

Postdocs
- Egbert Rijke, 2024-present
- Tim Campion, 2021-present
- Jonathan Weinberger, 2022-2024
- Sina Hazratpour, 2021-2024
- Maru Sarazola, 2021-2023
- Martina Rovelli, 2017-2019
PhD students
- Daniel Fuentes-Keuthan, “Goodwillie Towers of ∞-categories and Desuspension,” PhD 2021
- tslil clingman, “Towards the theory proof-relevant, categories,” PhD 2022
- David Myers, “Symmetry, geometry, modality,” PhD 2022
- Paula Verdugo, “On the homotopy theory of double categories and the equivalence invariance of formal category theory,” PhD 2024 (jointly advised with Dominic Verity)
- Astra Kolomatskaia, “Type Theory and Higher Structures,” PhD 2024
- Anthony Agwu
- Alvaro Belmonte
- Anna Matsui
- Daniel Carranza
Visiting masters student
- Lyne Moser, 2016
Research assistant
- Mira Wattal, 2020-2021