Monsieur JAD ISSA
Langues vivantes
école doctorale
IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE - MATHEMATIQUES
Spécialité
InformatiqueLaboratoire
Doctorat
Vérification formelle pour la compilation de programmes quantiques
Formal verification for quantum programs compilation
Niveau de thèse : 1A these 2024
Directeur de thèse
/ PECHOUX Romain
Co-directeur de thèse
/ Chareton Christophe
Master
Intitulé / M2 Algèbre Appliquée
09 /
2024
- UNIVERSITE PARIS SACLAY