Descrizione del progetto
Ricerca fondamentale sulla programmazione per rendere i computer quantici più accessibili ed efficienti
L’informatica quantistica introduce un modo rivoluzionario di utilizzare i computer che potrebbe trasformare la nostra comprensione della fisica. Il funzionamento di questi computer avanzati richiede l’utilizzo di linguaggi di programmazione straordinari. Inoltre, esaminarne i fondamenti attraverso la teoria dei tipi e la logica può gettare nuova luce sulla meccanica quantistica e sulla logica classica. Finanziato dal programma di azioni Marie Sklodowska-Curie, il progetto QCOMICAL si propone di studiare gli aspetti fondamentali dei linguaggi di programmazione, rendendo i futuri computer quantici più intuitivi ed efficienti nell’uso quotidiano.
Obiettivo
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.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP.
- scienze naturaliinformatica e scienze dell'informazionesoftware
- scienze naturaliscienze fisichefisica quantistica
- ingegneria e tecnologiaingegneria elettrica, ingegneria elettronica, ingegneria informaticaingegneria elettronicahardwarecomputer quantistici
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Parole chiave
Programma(i)
- HORIZON.1.2 - Marie Skłodowska-Curie Actions (MSCA) Main Programme
Meccanismo di finanziamento
HORIZON-TMA-MSCA-SE - HORIZON TMA MSCA Staff ExchangesCoordinatore
91192 Gif Sur Yvette
Francia