I finished my PhD in Mathematics at the University of Ottawa under the supervision of Simon Henry. My research interests include;
- (Synthetic) Higher categories
- Model categories
- Univalent Foundations and type theories
- (Synthetic) Higher algebra
Check out the 32th edition of the Foundational Methods in Computers Science co-organized with Rick Blute held in Ottawa from June 17-June 20, 2025. Lookforward to future editions!
I collaborate in a formalization project of synthetic ∞-categories. We work with the computer proof assistant rzk developed by Nikolai Kudazov.