Descripción del proyecto
Investigación fundamental en programación para ordenadores cuánticos más accesibles y eficientes
La computación cuántica introduce una forma revolucionaria de utilizar los ordenadores que podría transformar nuestra comprensión de la física. Estos ordenadores avanzados necesitan lenguajes de programación únicos para funcionar. Además, explorar sus fundamentos a través de la teoría de tipos y la lógica puede arrojar nueva luz sobre la mecánica cuántica y la lógica clásica. Financiado por las Acciones Marie Sklodowska-Curie, el equipo del proyecto QCOMICAL pretende investigar aspectos fundacionales de los lenguajes de programación, para que los ordenadores cuánticos del futuro sean más fáciles de usar y eficientes en las aplicaciones cotidianas.
Objetivo
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.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural.
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural.
- ciencias naturalesinformática y ciencias de la informaciónsoftware
- ciencias naturalesciencias físicasfísica cuántica
- ingeniería y tecnologíaingeniería eléctrica, ingeniería electrónica, ingeniería de la informacióningeniería electrónicahardware informáticoordenador cuántico
Para utilizar esta función, debe iniciar sesión o registrarse
Palabras clave
Programa(s)
- HORIZON.1.2 - Marie Skłodowska-Curie Actions (MSCA) Main Programme
Régimen de financiación
HORIZON-TMA-MSCA-SE - HORIZON TMA MSCA Staff ExchangesCoordinador
91192 Gif Sur Yvette
Francia