Au premier semestre 2019 j’étais stagiaire sous la supervision de Nicolas Tabareau. Avec Éric Tanter nous avons travaillé à appliquer l’approche du typage graduel au calcul des constructions inductives. Même si ce stage a donné lieu à un rapport et à une soutenance, celles-ci sont obsolètes – voir à la place la publication correspondante.

Au premier semestre 2017, j’ai effectué un stage avec Jurriaan Rot. L’objectif était d’étudier les automates alternants avec une approche coalgébrique.

En 2016, j’ai fait un stage de 2 mois avec Hugo Herbelin. Le but était de construire un algorithme pour compiler des filtrages par motifs complexes dans un cadre dépendant sans utiliser l’axiome K, en suivant des idées autour de la small inversion. Le stage a donné lieu à un rapport, mais n’a pas été publié en dehors de ce cadre.