Aide à la migration de programme par preuve automatique d’équivalence
Encadré par David Pichardie et Alexandre Drewery
Septembre 2023 --
Compilation Polyédrique, torsions de nid de boucles algébriquement pavé
Encadré par Philippe Clauss et Clément Rossetti
Mai -- Juillet 2023