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.
Vacancies
No vacancies currently.
News
ABN AMRO and QuSoft join hands to explore the power of quantum software
ABN AMRO and QuSoft are joining forces to explore the opportunities offered by quantum software and quantum computers. Operating under the name DisQover, the partnership will reveal what issues in the financial sector could be better solved using quantum computers. The partnership was announced at the Quantum Tech conference in Boston.
CWI researcher develops a unifying framework for quantum algorithms
A large group of quantum algorithms can now be easier understood and optimized, using a new framework developed by QuSoft researcher András Gilyén. In his PhD thesis Gilyén provides a framework that unifies quantum algorithms, while optimizing their hardware requirements. His thesis was awarded cum laude
Bosch and QuSoft start quantum computing collaboration
Recently, a research collaboration has begun between QuSoft and the Bosch Group. Researchers will investigate potential quantum computing use cases at Bosch, with a focus on applications in engineering and AI/machine learning fields.
Florian Speelman wins Andreas Bonn medal 2018
Florian Speelman (CWI & QuSoft) was awarded an Andreas Bonn medal 2018 from the GNGH, the Dutch Society for the Advancement of Science, Medicine and Surgery, for his thesis 'Position-based Quantum Cryptography and Catalytic Computation'. The three medals are presented once every five years for original work.
Members
- René Allerstorfer
- Jop Briët
- Harry Buhrman
- Chris Cade
- Yanlin Chen
- Yfke Dulek
- Francisco Escudero Gutiérrez
- Marten Folkertsma
- Peter van der Gulik
- Jonas Helsen
- Stacey Jeffery
- Farrokh Labib
- Christian Majenz
- Nikhil Mande
- Ido Niesen
- Subhasree Patro
- Mehrdad Tahmasbi
- Quinten Marcus Tupker
- Philip Verduyn Lunel
- Paul Vitányi
- Jordi Weggemans
- Ronald de Wolf
- Sebastian Zur
Associated Members
- Joran van Apeldoorn
- Sébastian de Bone
- Jean-Sébastien Caux
- Arjan Cornelissen
- Bas Dirkse
- Llorenç Escolà Farràs
- Mark Golden
- Dmitry Grinko
- Koen Groenland
- Erik van Heumen
- Joris Kattemölle
- Matteo Lostaglio
- Ian Marshall
- Garazi Muguruza Lasa
- Niels Neumann
- Harold Nieuwboer
- Maris Ozols
- Arghavan Safavi-Naini
- Christian Schaffner
- Yvonne Smit
- Jana Sotakova
- Florian Speelman
- Marten Teitsma
- Leen Torenvliet
- Dyon van Vreumingen
- Michael Walter
- Freek Witteveen
Publications
-
Bun, M, Mande, N.S, & Thaler, J. (2021). Sign-rank can increase under intersection. ACM Transactions on Computation Theory, 13(4). doi:10.1145/3470863
-
Briët, J, & Labib, F.S. (2021). High-entropy dual functions over finite fields and locally decodable codes. Forum of Mathematics, Sigma, 9(e19). doi:10.1017/fms.2021.1
-
Christandl, M, Leditzky, F. (Felix), Majenz, C, Smith, G. (Graeme), Speelman, F, & Walter, M. (Michael). (2020). Asymptotic performance of port-based teleportation. Communications in Mathematical Physics. doi:10.1007/s00220-020-03884-0
-
Apers, S, & de Wolf, R.M. (2020). Quantum speedup for graph sparsification, cut approximation and Laplacian solving. In FOCS 2020 - 61st Annual IEEE Symposium on Foundations of Computer Science (pp. 637–648). doi:10.1109/FOCS46700.2020.00065
-
Patro, S, & Piedrafita, A. (2020). An overview of quantum algorithms: From quantum supremacy to Shor factorization. In 2020 IEEE International Symposium on Circuits and Systems (pp. 1–5). doi:10.1109/ISCAS45731.2020.9180793
-
Cornelissen, A.J, Jeffery, S, Ozols, M, & Piedrafita, A. (2020). Span programs and quantum time complexity. In Leibniz International Proceedings in Informatics, LIPIcs. doi:10.4230/LIPIcs.MFCS.2020.26
-
Ambainis, A, Gilyén, A.P, Jeffery, S, & Kokainis, M. (2020). Quadratic speedup for finding marked vertices by quantum walks. In Proceedings of the Annual ACM SIGACT Symposium on Theory of Computing (pp. 412–424). doi:10.1145/3357713.3384252
-
Arunachalam, S, Belovs, A, Childs, A.M, Kothari, R, Rosmanis, A, & de Wolf, R.M. (2020). Quantum coupon collector. In Leibniz International Proceedings in Informatics, LIPIcs. doi:10.4230/LIPIcs.TQC.2020.10
-
Bannink, T.R, Briët, J, Labib, F.S, & Maassen, H. (2020). Quasirandom quantum channels. In Leibniz International Proceedings in Informatics. doi:10.4230/LIPIcs.TQC.2020.5
-
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
Current projects with external funding
-
Quantum Algorithms in a Practical Setting ()
-
Quantum time-space tradeoff lower bounds ()
-
Zwaartekracht QSC Ada Lovelace (Ada Lovelace)
-
CIFAR grant Quantum Information Science (CIFAR)
-
Startimpuls Nationale Quantumtechnologie (None)
-
Quantum Computing (PPS ABN AMRO Bank)
-
Quantum Software Consortium (QSC)
-
Quantum algorithms and applications (QuantAlgo)
-
Research centre for quantum software (QUSOFT)
-
Taming Quantum Adversaries
-
WISE Women In Science Excel (WISE)
Related partners
-
ABN AMRO Bank
-
Bosch Foundation
-
CIFAR
-
TNO
-
Technische Universiteit Delft
-
Universiteit Leiden
-
Universiteit van Amsterdam
-
Vrije Universiteit Amsterdam