Loïc Pujet

Github - Twitter - StackExchange


I am a PhD student in the Inria team Gallinette, at LS2N in Nantes. Here is a picture of me.

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

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


Published papers

Observational Equality: Now For Good HAL slides video

Loïc Pujet, Nicolas Tabareau

POPL 2022

Cubical Synthetic Homotopy Theory HAL slides

Anders Mörtberg, Loïc Pujet

CPP 2020


Computing with Univalence in Coq using Intensional Presheaves PDF slides

Maxime Lucas, Pierre-Marie Pédrot, Loı̈c Pujet, Nicolas Tabareau

ICMS 2020

Synthetic homotopy theory in cubical type theory and the Hopf fibration

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