PhD student in mathematics.
I am a PhD student at ENS de Lyon, studying under the supervision of Frédéric Déglise.
I am interested in A1-homotopy theory, derived algebraic geometry, higher category theory and the formalization of the these fields in computer proof assistants systems.
I am a regular contributor to the open-source community project Mathlib, contributing mathematics relevant to (ordinary and higher) category theory. Since June 2025, I am also part of the Mathlib reviewers team.
You can contact me at robin.carlier (a t) ens-lyon.fr