
IAEM
Laboratoire : LORIA
Sujet de thèse : Vers une formalisation d'une chaîne de compilation pour un ordinateur quantique
Date de soutenance : 2023-01-13
Directeur / Directrice de thèse : PERDRIX Simon