Thèse

Je suis actuellement en fin 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

2016-2017 (Université Paris-Diderot)

    [+] Élements d'algorithmique II (EA4)

    • Tous les documents se trouvent sur le moodle de l'université.

2015-2016 (Université Paris-Diderot)

2014-2015 (Université Paris-Diderot)

2011-2012 (Lycée du parc)