Robin Carlier

PhD Student in Mathematics

About Me

I am a PhD student of Frédéric Déglise at the ÉNS de Lyon.

I am currently interested in the formalisation of mathematics in the lean proof assistant, especially mathematics related to category theory, higher category theory, and homotopy theory.

I am an active member of the Mathlib community, and a Mathematics Research Engineer at the Mathlib Initiative.

CV

Research Interests

• Formalization of category theory and higher category theory

  Formalizing mathematics with the lean proof assistant.

• 𝔸¹-homotopy theory

  Motivic and étale-motivic homotopy theory.

Publications

Contact