Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Quantum Computing and its Calculi

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. Véas: El vocabulario científico europeo..

Para utilizar esta función, debe iniciar sesión o registrarse

Palabras clave

Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).

Programa(s)

Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.

Tema(s)

Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.

Régimen de financiación

Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.

HORIZON-TMA-MSCA-SE - HORIZON TMA MSCA Staff Exchanges

Ver todos los proyectos financiados en el marco de este régimen de financiación

Convocatoria de propuestas

Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.

(se abrirá en una nueva ventana) HORIZON-MSCA-2023-SE-01

Ver todos los proyectos financiados en el marco de esta convocatoria

Coordinador

CENTRALESUPELEC
Aportación neta de la UEn

Aportación financiera neta de la UE. Es la suma de dinero que recibe el participante, deducida la aportación de la UE a su tercero vinculado. Considera la distribución de la aportación financiera de la UE entre los beneficiarios directos del proyecto y otros tipos de participantes, como los terceros participantes.

€ 41 400,00
Dirección
PLATEAU DE MOULON 3 RUE JOLIOT CURIE
91192 GIF SUR YVETTE
Francia

Ver en el mapa

Tipo de actividad
Higher or Secondary Education Establishments
Enlaces
Coste total

Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.

Sin datos

Participantes (9)

Socios (4)

Mi folleto 0 0