Inria



Maxime Lucas
Inria PostDoc
Member of the Gallinette team



Research

What I'm interested in

  • Category theory
  • (Homotopy) Type Theory
  • Higher Dimensional Rewriting
  • Homological / Homotopical Algebra
I am also organising a reading group on homotopy and higher categories .

Journal papers

Workshop papers

Preprints


PhD Thesis

Under the supervision of Pierre-Louis Curien and Yves Guiraud.
Cubical categories for homotopy and rewriting PhD Thesis , 2018, Univ. Paris 7, Sorbonne Paris Cité.

Resume


How to contact me

  • In person: Building 11, 2nd Floor, Office n°212
  • By mail:
    Université de Nantes,
    Faculté des Sciences et Techniques (FST),
    2, chemin de la Houssinière,
    BP 92208,
    44322 Nantes Cedex 3,
    France
  • By email : maxime.lucas@inria.fr