Objetivo Quantum computing involves a new computational paradigm based on thelaws of quantum mechanics. It uses qubits, which are superpositions ofordinary bits, and exploits the `strange' quantum phenomena likeentanglement of qubits. It promises new forms of very fast,distributed computation. First applications are now appearing incomputer security, based on the manipulation of individual qubits. Therealization of large scale quantum computing, involving multitudes ofqubits is still a technological challenge, beyond the scope of thisproposal.Quantum computing originated, understandably, in physics. Thisproject abstracts from this physical level and will transform anddevelop the relevant phenomena at a mathematical level so that theycan be integrated in computational models, logics and formal methodsused in computer science. The project will use the unifying languageand tools of category theory, which are working as a ``Rosetta Stone''in the multi-disciplinary area of computer science, mathematics andphysics. The project will clarify the subtle but fundamentaldifference between quantum computation/logic on the one hand andprobabilistic and non-deterministic computation/logic on theother. This should result in (programming) logics and models that areclear and usable for computer scientists, in particular in the area of(formal methods for) computer security. Overall, the proposal aims toensure that the discipline of computer science is well-prepared forthe (approaching) moment when quantum computing becomes a reality. Ámbito científico natural sciencesphysical sciencesquantum physicsengineering and technologyelectrical engineering, electronic engineering, information engineeringelectronic engineeringcomputer hardwarequantum computersnatural sciencesmathematicsnatural sciencescomputer and information sciencescomputer securitysocial scienceslaw Programa(s) FP7-IDEAS-ERC - Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Tema(s) ERC-AG-PE6 - ERC Advanced Grant - Computer science and informatics Convocatoria de propuestas ERC-2012-ADG_20120216 Consulte otros proyectos de esta convocatoria Régimen de financiación ERC-AG - ERC Advanced Grant Institución de acogida STICHTING RADBOUD UNIVERSITEIT Aportación de la UE € 2 500 000,00 Dirección HOUTLAAN 4 6525 XZ Nijmegen Países Bajos Ver en el mapa Región Oost-Nederland Gelderland Arnhem/Nijmegen Tipo de actividad Higher or Secondary Education Establishments Investigador principal Bartholomeus Paulus Franciscus Jacobs (Prof.) Contacto administrativo Geurt Van Renselaar (Mr.) Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Coste total Sin datos Beneficiarios (1) Ordenar alfabéticamente Ordenar por aportación de la UE Ampliar todo Contraer todo STICHTING RADBOUD UNIVERSITEIT Países Bajos Aportación de la UE € 2 500 000,00 Dirección HOUTLAAN 4 6525 XZ Nijmegen Ver en el mapa Región Oost-Nederland Gelderland Arnhem/Nijmegen Tipo de actividad Higher or Secondary Education Establishments Investigador principal Bartholomeus Paulus Franciscus Jacobs (Prof.) Contacto administrativo Geurt Van Renselaar (Mr.) Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Coste total Sin datos