I am a PhD candidate at the University of Ottawa under the supervision of Simon Henry. My research interests include;

  • Higher categories
  • Model categories
  • Univalent Foundations and type theories
  • Higher algebra

This summer, I co-organize with Rick Blute the 32th edition of the Foundational Methods in Computers Science workshop which will be held in Ottawa from June 17-June 20, 2025.

I collaborate in a formalization project of synthetic ∞-categories. We work with the computer proof assistant rzk developed by Nikolai Kudazov.