Objetivo
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.
Á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..
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..
- ciencias naturales ciencias físicas física cuántica
- ingeniería y tecnología ingeniería eléctrica, ingeniería electrónica, ingeniería de la información ingeniería electrónica hardware informático ordenador cuántico
- ciencias naturales matemáticas
- ciencias naturales informática y ciencias de la información seguridad informática
- ciencias sociales derecho
Para utilizar esta función, debe iniciar sesión o registrarse
Le pedimos disculpas, pero se ha producido un error inesperado durante la ejecución.
Necesita estar autentificado. Puede que su sesión haya finalizado.
Gracias por su comentario. En breve recibirá un correo electrónico para confirmar el envío. Si ha seleccionado que se le notifique sobre el estado del informe, también se le contactará cuando el estado del informe cambie.
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
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.
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.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
ERC-2012-ADG_20120216
Consulte otros proyectos de esta convocatoria
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.
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.
Institución de acogida
6525 XZ Nijmegen
Países Bajos
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.