1. Accueil
  2. Prochaines soutenances

DAVE KINNARI VIJAY

14h00

Soutenance de thèse de KINNARI VIJAY DAVE

Combiner le contrôle classique et quantique : une perspective logique, syntaxique et sémantique

Combining classical and quantum control: A logical, syntactic and semantic perspective.

Jury

Directeur de these_PECHOUX_Romain_Université de Lorraine
Rapporteur_SELINGER_Peter_Dalhousie University
Rapporteur_HEUNEN_Chris_University of Edinburgh
Examinateur_CORTIER_Veronique_Universite de Lorraine
CoDirecteur de these_ZAMDZHIEV_Vladimir_University of Paris-Saclay
Examinateur_FAGGIAN_Claudia_Universite Paris-Cite

école doctorale

IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE - MATHEMATIQUES

Laboratoire

LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

Mention de diplôme

Informatique
None Defense will happen online
*

Mots clés

langages de programmation,informatique quantique,logique,sémantique,théorie des catégories,systèmes de types

Résumé de la thèse

Cette thèse vise principalement à établir les fondements théoriques nécessaires à la conception d'un langage de programmation complet pour l'informatique quantique. L'idée qui a inspiré toutes les contributions de cette thèse est de produire dans le cadre quantique un développement similaire à celui utilisé pour les langages de programmation et la logique dans le paradigme classique.

Keywords

Programming languages,quantum computing,logic,semantics,category theory,type systems

Abstract

The focus of this thesis is on laying the theoretical foundation for designing an all-encompassing programming language for quantum computing. The idea inspiring all the contributions of this thesis was to mirror the development of programming languages and logic done for classical computing for its quantum counterpart.
Liste de toutes les soutenances