Robin Carlier

PhD student in mathematics.

About Me

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.

Preprints

Other

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.

Contact

You can contact me at robin.carlier (a t) ens-lyon.fr