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
Yfke Dulek awarded with Ngi-NGN master thesis Information prize
On 28 November Yfke Dulek (University of Amsterdam) will receive the Ngi-NGN master thesis Information prize for Informatics & Computer Science (5000 euro) at the Koninklijke Hollandsche Maatschappij der Wetenschappen in Haarlem.
András Gilyén wins second prize in Microsoft Quantum Challenge
András Gilyén has won second prize in the Microsoft Quantum Challenge for his entry ‘Testing quantum state engineering protocols via LIQUi|> simulations”.
1 billion euros for Quantum Flagship
The European Commission has proposed to invest one billion euros in a Quantum Flagship, a large-scale European research program for quantum technology. Within the Quantum Flagship, researchers from various fields will further knowledge on quantum mechanics and bring new applications to the market.
All quantum communication involves nonlocality
Researchers of CWI, Gdansk University, Gdansk University of Technology, Adam Mickiewicz University and the University of Cambridge have proven that quantum communication is based on nonlocality. They show that whenever quantum communication is more efficient than classical communication, it must be possible to find a nonlocal correlation somewhere.
Members
Associated Members
- Joran van Apeldoorn
- Sébastian de Bone
- Jean-Sébastien Caux
- Arjan Cornelissen
- Jan Czajkowski
- Bas Dirkse
- Yfke Dulek
- Mark Golden
- Koen Groenland
- Jonas Helsen
- Erik van Heumen
- Joris Kattemölle
- Yinan Li
- Ian Marshall
- Harold Nieuwboer
- Maris Ozols
- Christian Schaffner
- Jana Sotakova
- Leen Torenvliet
- Michael Walter
- Jordi Weggemans
- Freek Witteveen
Publications
-
Arunachalam, S, Chakraborty, S, Koucky, M, Saurabh, N, & de Wolf, R.M. (2020). Improved bounds on Fourier entropy and min-entropy. In Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020. doi:10.4230/LIPIcs.STACS.2020.45
-
van Apeldoorn, J.T.S. (2020, February 6). A quantum view on convex optimization. ILLC Dissertation Series.
-
Bannink, T.R. (2020, January 30). Quantum and stochastic processes. ILLC Dissertation Series.
-
Groenland, K.L. (2020, January 17). Quantum protocols for few-qubit devices. ILLC Dissertation Series.
-
van Apeldoorn, J.T.S, Gilyén, A.P, Gribling, S.J, & de Wolf, R.M. (2020). Convex optimization using quantum oracles. Quantum, 4. doi:10.22331/q-2020-01-13-220
-
Alagic, G, Majenz, C, Russell, A, & Song, F. (2020). Quantum-secure message authentication via blind-unforgeability. In EUROCRYPT.
-
Chakraborty, S, Gilyén, A.P, & Jeffery, S. (2019). The power of block-encoded matrix powers: Improved regression techniques via faster Hamiltonian simulation. In International Colloquium on Automata, Languages, and Programming (pp. 33:1–33:14). doi:10.4230/LIPIcs.ICALP.2019.33
-
Aharonov, D, & Grilo, A. (2019). Stoquastic PCP vs. randomness. In Proceedings of FOCS (pp. 1000–1023). doi:10.1109/FOCS.2019.00065
-
Sinha, M, & de Wolf, R.M. (2019). Exponential separation between quantum communication and logarithm of approximate rank. In Proceedings of FOCS (pp. 966–981). doi:10.1109/FOCS.2019.00062
-
Briët, J, Dvir, Z, & Gopi, S. (2019). Outlaw distributions and locally decodable codes. Theory of Computing, 15(12), 1–24. doi:10.4086/toc.2019.v015a012
Current projects with external funding
-
Quantum Algorithms in a Practical Setting ()
-
Quantum Computation with Bounded Space ()
-
Quantum time-space tradeoff lower bounds ()
-
Algorithms, protocols and applications for small qubits systems
-
Realization of Quantum Computing Applications at Bosch
-
Taming Quantum Adversaries (None)
-
Quantum Computing (PPS ABN AMRO Bank)
-
Quantum Software Consortium (QSC)
-
Quantum algorithms and applications (QuantAlgo)
-
Research centre for quantum software (QUSOFT)
-
WISE Women In Science Excel (WISE)
Related partners
-
ABN AMRO Bank
-
Bosch Foundation
-
Robert Bosch GmbH
-
Technische Universiteit Delft
-
Universiteit Leiden
-
Universiteit van Amsterdam
-
Vrije Universiteit Amsterdam