Welcome

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, homotopy theory and category 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.

Research

Published papers

Cubical Synthetic Homotopy Theory (HAL) (slides)

Anders Mörtberg, Loïc Pujet

CPP 2020

Talks

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