Être
Doctorant

doctoriales 2013

ISSA JAD

Monsieur JAD ISSA

My Logo

Langues vivantes

école doctorale

IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE - MATHEMATIQUES

Spécialité

Informatique

Laboratoire

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