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
Quantum.Amsterdam: The new quantum innovation hub
CWI, the University of Amsterdam, and QuSoft have jointly established a new innovation hub for developing quantum software and applications. The Quantum.Amsterdam hub aims to connect the ambitions of leading knowledge institutes and industry partners.
Harry Buhrman joins Royal Netherlands Academy of Arts and Sciences
Quantum researcher Harry Buhrman joins the Royal Netherlands Academy of Arts and Sciences (KNAW). The KNAW is the most relevant Dutch society of top scientists. Together with seventeen other researchers, Buhrman will be installed as a new Academy member.
Ming Li and Paul Vitanyi's textbook on Kolmogorov complexity receives a 2020 McGuffey Longevity Award
Paul Vitányi (CWI) and Ming Li (University of Waterloo) have received one of seven 2020 McGuffey Longevity Awards from the Textbook & Academic Authors Association for 'An Introduction to Kolmogorov Complexity and Its Applications'.
Introducing Women In Quantum Development
Bringing women in quantum research together to form a professional and informal network. With that goal in mind, CWI researcher Stacey Jeffery and colleagues started the WIQD network. WIQD now aims to bring its mission into practice with a symposium for all quantum researchers in science, industry, and policy.
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
-
Tham, W.K, Ferretti, H, Bonsma-Fisher, K, Brodutch, A, Sanders, B.C, Steinberg, A.M, & Jeffery, S. (2020). Experimental Demonstration of Quantum Fully Homomorphic Encryption with Application in a Two-Party Secure Protocol. Physical Review X, 10(1). doi:10.1103/PhysRevX.10.011038
-
Jeffery, S. (2020). Span programs and quantum space complexity. In Proceedings of ITCS (pp. 4:1–4:36). doi:10.4230/LIPIcs.ITCS.2020.4
-
Alagic, G, Majenz, C, & Russell, A. (2020). Efficient simulation of random states and random unitaries. In EUROCRYPT.
-
Dulek, Y.M, Grilo, A, Jeffery, S, Majenz, C, & Schaffner, C. (2020). Secure Multi-party Quantum Computation with a Dishonest Majority. In Proceedings of EUROCRYPR.
-
Grilo, A, Slofstra, W, & Yuen, H. (2019). Perfect zero knowledge for quantum Multiprover Interactive Proofs. In Proceedings of FOCS (pp. 611–635). doi:10.1109/FOCS.2019.00044
-
Gribling, S.J. (2019, September 30). Applications of optimization to factorization ranks and quantum information theory. Center dissertation series. Retrieved from http://dx.doi.org/10.26116/center-lis-1925
-
Chen, Z, Li, Y, Sun, X, Yuan, P, & Zhang, J. (2019). A quantum-inspired classical algorithm for separable Non-negative Matrix Factorization. In Proceedings of the International Conference on Artificial Intelligence (pp. 4511–4517).
-
Don, J.W, Fehr, S, Majenz, C, & Schaffner, C. (2019). Security of the Fiat-Shamir transformation in the Quantum Random-Oracle Model. In Advances in Cryptology - CRYPTO 2019 (pp. 356–383). doi:10.1007/978-3-030-26951-7_13
-
Bannink, T.R, Buhrman, H.M, Gilyén, A.P, & Szegedy, M. (2019). The interaction light cone of the discrete Bak–Sneppen, contact and other local processes. Journal of Statistical Physics, 1–26. doi:10.1007/s10955-019-02351-y
-
Groenland, K.L, & Schoutens, C.J.M. (2019). Quantum gates by resonantly driving many-body eigenstates, with a focus on Polychronakos' model. Journal of Statistical Mechanics. doi:10.1088/1742-5468/ab25e2
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