I am a PhD candidate at the University of Ottawa under the supervision of Simon Henry. My research interest revolve around the following topics:

• Higher categories
• Synthetic higher category theory
• Theory of model categories
• Homotopy type theory (and its variations)

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