Bienvenue

Je suis doctorant dans l'équipe Inria Gallinette, au LS2N de l'université de Nantes.

Je suis interessé par plein de domaines en mathématiques et en informatique théorique, en particulier la théorie des types, les mathématiques constructives, la théorie de l'homotopie et la théorie des catégories.

Vous pouvez me contacter par mail à prénom.nom@inria.fr (sans accents).

Excusez mon site un peu rudimentaire, je suis encore en train de le construire.

Recherche

Publications

Cubical Synthetic Homotopy Theory (HAL) (slides)

Anders Mörtberg, Loïc Pujet

CPP 2020

Exposés

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 et brouillons

A semantic account of the presheaf translation (pdf)

Last update: 02/12/2020