MACHADO DA SILVA MARIO

07/07

14h00

Soutenance de thèse de MARIO MACHADO DA SILVA

Langages de programmation caractérisant l'efficacité quantique

Programming languages characterizing quantum efficiency

Jury

Directeur de these_PECHOUX_Romain_Université de Lorraine, LORIA, INRIA
Rapporteur_DAL LAGO_Ugo_Université de Bologne
Rapporteur_VALIRON_Benoît_CentraleSupélec, Université Paris Saclay
Examinateur_SERNADAS_Cristina_Instituto Superior Técnico, Universidade de Lisboa
Examinateur_BARTHE_Gilles_Max Planck Institute for Security and Privacy
CoDirecteur de these_HAINRY_Emmanuel_Université de Lorraine, LORIA, INRIA

école doctorale

IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE - MATHEMATIQUES

Laboratoire

LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

Mention de diplôme

Informatique

C005 LORIA, Campus Scientifique, 615 Rue du Jardin-Botanique, 54506 Vandœuvre-lès-Nancy, France

Mots clés

Complexité implicité,Modèles de calcul,Réversibilité,Informatique quantique,

Résumé de la thèse

L'informatique quantique est un paradigme émergent de calcul, dans lequel des phénomènes physiques quantiques tels que l'intrication et la superposition sont exploités pour obtenir un avantage sur le calcul classique. Bien que le programmeur quantique dispose d'un large choix de langages de programmation, aucun ne permet de garantir la faisabilité de ses programmes.

Keywords

Implicit complexity,Computational models,Reversibility,Quantum programming,

Abstract

Quantum computing is a paradigm of computation where quantum physical phenomena such as entanglement and superposition are used to obtain an advantage over classical computation. While the quantum programmer has a large choice of programming language at their disposal, none allow for ensuring the feasibility of their programs.

Liste de toutes les soutenances