Thèse

Je suis actuellement en deuxième année de thèse à l'IRIF, au sein des équipes PPS et πr², sous la direction d'Hugo Herbelin, en co-tutelle avec Alexandre Miquel (à l'Institut de Mathématiques de la Faculté d'Ingéniérie de Montevideo).

Je m'intéresse essentiellement au contenu calculatoire de preuve classique, et notamment à la réalisabilité classique. Vous trouverez ci-dessous un certain nombre de documents en rapport avec mon travail de thèse. Pour ce qui est du reste du contenu, en cliquant sur les choses en haut, ça vous redirigera vers là où il faut.

Publications et pre-print

Exposés et slides

Réalisabilité classique

Axiome du choix dépendant et logique classique

Enseignement

2015-2016

2014-2015