Description
Leader of the group Algorithms and Complexity: Harry Buhrman.
Our research group designs software for the computing technology of the future, especially quantum computing. Based on the laws of quantum mechanics, which tell us that systems and particles can be in multiple states at once, quantum computing is radically different from computing as we know it. Our quantum software requires fundamentally different techniques and approaches based on superposition, interference and entanglement. Ultimately, our research will result in better, faster and more reliable computer systems for society. Our research group is involved in QuSoft, the new Dutch research centre for quantum software.
News
Stieltjes Prize for Jop Briët
Today, Jop Briët, researcher at Centrum Wiskunde & Informatica (CWI) in Amsterdam, was awarded the Stieltjesprijs 2011, the prize for the best thesis in mathematics.
Nature does not allow secure computation between rivals
It is impossible to devise a cryptographic system that guarantees secure computation between two rivals.
Decades-old P=NP 'proof' finally refuted
The traveling salesman problem is still unresolved. A 26 year old claim for a solution is finally fully refuted by researchers of Centrum Wiskunde & Informatica (CWI) in Amsterdam, Université libre de Bruxelles and Friedrich-Alexander Universität Erlangen-Nürnberg.
David García Soriano defends thesis on property testing
Whether they are analyzing the stock market, genes or search data, computer programs often need to process large amounts of data. Sometimes there isn't even have enough time to process all the data that is relevant to the calculation.
Members
Associated Members
Publications
-
Arunachalam, S. (2018, April 25). Quantum algorithms and learning theory.
-
Groenland, K.L, & Schoutens, C.J.M. (2018). Many-body strategies for multiqubit gates: Quantum control through Krawtchouk-chain dynamics. Physical Review A: Atomic, Molecular and Optical Physics, 97(4). doi:10.1103/PhysRevA.97.042321
-
Christandl, M, & Zuiddam, J. (2018). Tensor surgery and tensor rank. Computational Complexity. doi:10.1007/s00037-018-0164-8
-
Arunachalam, S, Molina, A, & Russo, V. (2018). Quantum hedging in two-round prover-verifier interactions. In Leibniz International Proceedings in Informatics, LIPIcs (pp. 51–530). doi:10.4230/LIPIcs.TQC.2017.5
-
SimUniverse: Leven we wel of niet in een computersimulatie - KIJK - 31-12-17. (2017). SimUniverse: Leven we wel of niet in een computersimulatie - KIJK - 31-12-17.
-
Piedrafita, Á, & Renes, J.M. (2017). Reliable channel-adapted error correction: Bacon-Shor code recovery from amplitude damping. Physical Review Letters, 119(25). doi:10.1103/PhysRevLett.119.250501
-
Alagic, G, Dulek, Y, Schaffner, C, & Speelman, F. (2017). Quantum fully homomorphic encryption with verification. In Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence (pp. 438–467). doi:10.1007/978-3-319-70694-8_16
-
Briët, J, Regev, O, & Saket, R. (2017). Tight hardness of the non-commutative Grothendieck problem. Theory of Computing, 13. doi:10.4086/toc.2017.v013a015
-
Antunes, L.F, Souto, A, & Vitányi, P.M.B. (2017). On the rate of decrease in logical depth. Theoretical Computer Science, 702, 60–64. doi:10.1016/j.tcs.2017.08.012
-
Arunachalam, S, Briët, J, & Palazuelos, C. (2017). Quantum Query Algorithms are Completely Bounded Forms. arXiv.org e-Print archive.
Current projects with external funding
-
Algorithms, protocols and applications for small qubits systems
-
Networks
-
Position-Based Quantum Cryptography
-
Quantum and classical data transmission
-
Quantum Computation with Bounded Space
-
Approximation Algorithms, Quantum Information and Semidefinite Optimization (AQSO)
-
Progress in quantum computing:Algorithms, communication, and applications (QPROGRESS)
-
Quantum Software Consortium (QSC)
-
Quantum algorithms and applications (QuantAlgo)
-
Research centre for quantum software (QUSOFT)
Related partners
-
Technische Universiteit Eindhoven
-
Technische Universiteit Delft
-
Universiteit Leiden
-
Universiteit van Amsterdam
-
Vrije Universiteit Amsterdam