Seminars
Logic and Category Theory Seminar
Co-organized with Martina Rovelli, University of Ottawa.
Learning Seminars
Synthetic Category Theory (Fall 2026)
Co-organized with Arghan Dutta.
A learning seminar devoted to studying the Book Project by D.-C. Cisinski, B. Cnossen, K. Nguyen and T. Walde.
Selected lectures
Homotopy Type Theory (Winter 2026)
Co-organized with Arghan Dutta.
A learning seminar on HoTT following Introduction to Homotopy Type Theory by E. Rijke.