Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

QCLS

Financiado

Cerrado

Quantum Computation Logic and Security

Quantum computing involves a new computational paradigm based on the laws of quantum mechanics. It uses qubits, which are superpositions of ordinary bits, and exploits the `strange' quantum phenomena like entanglement of qubits. I... ver más

30/04/2018

STICHTING RADBOUD...

3M€

Presupuesto del proyecto: 3M€

Líder del proyecto

STICHTING RADBOUD UNIVERSITEIT No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2018-04-30 No tenemos la información de la convocatoria

0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

STICHTING RADBOUD UNIVERSITE...

0.00€ | Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

BES-2015-075326 LAS MATEMATICAS DEL ENTRELAZAMIENTO CUANTICO 93K€ Cerrado

MTM2014-54692-P MATEMATICAS E INFORMACION CUANTICA: DE LAS ALGEBRAS DE OPERA... 80K€ Cerrado

QUCO The power of quantum computers 744K€ Cerrado

PID2021-127726NB-I00 MANY-BODY QUANTUM TECHNOLOGIES 151K€ Cerrado

RYC-2016-20594 Quantum field theories and lattice gauge theories from entan... 309K€ Cerrado

StrEnQTh Strong Entanglement in Quantum many body Theory 1M€ Cerrado

Líder del proyecto

STICHTING RADBOUD UNIVERSITEIT No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 3M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto Quantum computing involves a new computational paradigm based on the laws of quantum mechanics. It uses qubits, which are superpositions of ordinary bits, and exploits the `strange' quantum phenomena like entanglement of qubits. It promises new forms of very fast, distributed computation. First applications are now appearing in computer security, based on the manipulation of individual qubits. The realization of large scale quantum computing, involving multitudes of qubits is still a technological challenge, beyond the scope of this proposal. Quantum computing originated, understandably, in physics. This project abstracts from this physical level and will transform and develop the relevant phenomena at a mathematical level so that they can be integrated in computational models, logics and formal methods used in computer science. The project will use the unifying language and tools of category theory, which are working as a ``Rosetta Stone'' in the multi-disciplinary area of computer science, mathematics and physics. The project will clarify the subtle but fundamental difference between quantum computation/logic on the one hand and probabilistic and non-deterministic computation/logic on the other. This should result in (programming) logics and models that are clear and usable for computer scientists, in particular in the area of (formal methods for) computer security. Overall, the proposal aims to ensure that the discipline of computer science is well-prepared for the (approaching) moment when quantum computing becomes a reality.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores