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.
Coalgebraic determinization of alternating automata
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.
Compilation du filtrage par motifs dépendant sans axiome K
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.