Teaching

Johns Hopkins

• 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
  • Jonathan Weinberger, 2022-present
  • Tim Campion, 2021-present
  • Sina Hazratpour, 2021-present
  • Maru Sarazola, 2021-present
  • 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
  • Anthony Agwu
  • Astra Kolomatskaia
• VIsiting masters student
  • Lyne Moser, 2016
• Research assistant
  • Mira Wattal, 2020-present