Loïc Pujet


I am a PhD student in the Inria team Gallinette, at LS2N in Nantes.

My research interests lie in various areas of mathematics and computer science ; especially type theory, constructive mathematics and homotopy theory.

You can contact me at firstname.lastname@inria.fr (without diacritics).

I know, my website is not very pretty as of now, hopefully it will improve soon enough.


Published papers

Cubical Synthetic Homotopy Theory (HAL) (slides)

Anders Mörtberg, Loïc Pujet

CPP 2020


Synthetic homotopy theory in cubical type theory and the Hopf fibration (no slides available)

CMU HoTT seminar, 28 February 2019

Beyond the probability of coprimality (slides)

UTokyo, JFLI Internship Day, 20 July 2017

Notes and drafts

A semantic account of the presheaf translation (pdf)

Last update: 02/12/2020