en ¦ fr > Stages

Gradualizing the Calculus of Inductive Constructions

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.

Pdf Slides

Coalgebraic determinization of alternating automata

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.

Pdf Slides

Compilation du filtrage par motifs dépendant sans axiome K

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.

Pdf Slides

Sous Licence Creative Commons CC0, source sur github. Développé avec Pelican. Thème adapté de pelican-svbhack par Giulio Fidente.