Description du projet
Soutenir la recherche fondamentale en programmation pour des ordinateurs quantiques plus accessibles et efficaces
L’informatique quantique révolutionne notre manière d’utiliser les ordinateurs et pourrait transformer notre compréhension de la physique. Les ordinateurs quantiques de pointe ont besoin de langages de programmation uniques pour fonctionner. En outre, l’étude de leurs fondements par le biais de la théorie des types et de la logique est susceptible d’apporter un éclairage nouveau sur la mécanique quantique et la logique classique. Financé par le programme Actions Marie Sklodowska-Curie, le projet QCOMICAL vise à étudier les aspects fondamentaux des langages de programmation, afin de rendre les futurs ordinateurs quantiques plus conviviaux et plus efficaces pour les applications quotidiennes.
Objectif
Quantum computing can be thought of in multiple ways. Among those ways, it can be seen as a computational model of quantum mechanics. Studying this model may have implications for our understanding of physics. It can also be seen as a new computational paradigm, with implications for computation, algorithms, and logic. Additionally, it can be viewed as a computational device that requires programming. Therefore, it is necessary to design and study programming languages for this purpose. The study of the foundations of quantum programming languages, type theory, and logic through the Curry-Howard correspondence may shed light on our understanding of quantum mechanics. Furthermore, it may lead to the development of new logics or the understanding of new structures in classical logic. Lastly, implementing these languages will enhance the way we program the new computers when they become widely used.
In this project, we propose to study these various aspects of quantum computing, specifically focusing on the foundations of programming languages.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN.
- sciences naturellesinformatique et science de l'informationlogiciel
- sciences naturellessciences physiquesphysique quantique
- ingénierie et technologiegénie électrique, génie électronique, génie de l’informationingénierie électroniquematériel informatiquecalculateur quantique
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Mots‑clés
Programme(s)
- HORIZON.1.2 - Marie Skłodowska-Curie Actions (MSCA) Main Programme
Régime de financement
HORIZON-TMA-MSCA-SE - HORIZON TMA MSCA Staff ExchangesCoordinateur
91192 Gif Sur Yvette
France