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 : 2025-11-14
Directeur / Directrice de thèse : CIRSTEA Horatiu