BAGREL THOMAS

IAEM
Laboratoire : LORIA
Sujet de thèse : Formalisation et implémentation de techniques sûres pour la programmation par passage de destination dans les contextes fonctionnels purs.
Date de soutenance : 14 novembre 2025
Directeur / Directrice de thèse : CIRSTEA Horatiu