Teaching

• In 2026, Zoé Garreau and I organized and taught a seminar on homotopy type theory, primarily intended for ENS students.