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.