Durant mon M2, j’ai effectué un stage sous la supervision de Nicolas Tabareau. En collaboration avec Éric Tanter nous avons travaillé à mélanger le 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.

Pendant mon année de M1, j’ai effectué un stage avec Jurriaan Rot. L’objectif était d’étudier les automates alternants avec une approche coalgébrique.

En L3, 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 petite inversion. Le stage a donné lieu à un rapport, mais pas à d’autres publications.