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
PhD student on the subject of quantum algorithms and complexity
Centrum Wiskunde & Informatica (CWI) has a vacancy in its Algorithms and Complexity research group for a talented PhD student on the subject of quantum algorithms and complexity.
Postdoc / Postdoctoral Researcher on the subject of the computer-science aspects of quantum computing and quantum information theory
Centrum Wiskunde & Informatica (CWI) has a vacancy in the Algorithms and Complexity research group for a talented Postdoc / Postdoctoral researcher on the subject of the computer-science aspects of quantum computing and quantum information theory.
News
Veni grants for CWI researchers Tim Baarslag and Stacey Jeffery
NWO has awarded Veni grants to Tim Baarslag and Stacey Jeffery. The funding allows these researchers, who have recently obtained their PhD, to conduct independent research and develop their ideas for a period of three years.
Quantum Software Consortium receives 18.8 million euro in the Gravitation Programme
The Ministry for Education, Culture and Science has awarded a Gravitation grant for large-scale research on quantum software. This grant of 18.8 million euro unites researchers from QuSoft, CWI, Leiden University, QuTech, TU Delft, UvA and the VU in pursuing state of the art research programmes in this new field.
WISE tenure track position for Stacey Jeffery
Four women have been given a position in the first round of the NWO Women In Science Excel (WISE) programme, including Stacey Jeffery from CWI.
Harry Buhrman appointed Distinguished Research Professor
Prof. dr. H.M. Buhrman has been appointed as Distinguished Research Professor at the Faculty of Science of the University of Amsterdam. In this position Harry Buhrman will function as the figurehead of the QuSoft research center and be committed to further development of the institute.
Current events
3rd QSC General Assembly
- 2019-12-04T10:00:00+01:00
- 2019-12-04T23:59:59+01:00
3rd QSC General Assembly
Start: 2019-12-04 10:00:00+01:00 End: 2019-12-04 23:59:59+01:00
Everyone is welcome to attend the 3rd General Assembly of the Quantum Software Consortium (QSC).
10:00 - 10:30 Welcome and coffee
10:30 - 11:15 Tom O'Brien (Leiden): Nearly optimal measurement scheduling for partial tomography of quantum states
11:15 - 11:45 Yfke Dulek (Amsterdam): Secure multi-party quantum computation with a dishonest majority
11:45 - 12:00 Harry Buhrman (Amsterdam) - Developments in QSC
12:00 - 13:30 Lunch / room to discuss
13:30 - 14:15 Barbara Kraus (Innsbruck): From compressible to universal quantum computation
14:15 - 14:45 Alex Grilo (Amsterdam): Recent advances in Zero-knowledge protocols in the quantum setting
14:45 - 15:15 Tea / Coffee
15:15 - 16:00 Wolfgang Tittel (Leiden): Towards quantum repeaters
16:00 - 16:45 Panel by Joris van Hoboken (Amsterdam): Legal and ethical perspectives on quantum computing
17:00 - 19:30 Walking Dinner
Registration is free but required; please visit our website to apply.
- Web
- Email: Susanne van Dam
- Phone: 020-592 4189
-
iCal
Members
Associated Members
- Simon Apers
- 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
- Harold Nieuwboer
- Maris Ozols
- Christian Schaffner
- Boris Skoric
- Jana Sotakova
- Leen Torenvliet
- Michael Walter
- Freek Witteveen
Publications
-
van der Gulik, P.T.S. (2019, September 18). Considerations in evolutionary biochemistry. ILLC Dissertation Series.
-
Liu, S, Li, Y, & Duan, R. (2019). Distinguishing unitary gates on the IBM quantum processor. Science China Information Sciences, 62. doi:10.1007/s11432-018-9703-y
-
Alagic, G, Jeffery, S, Ozols, M, & Poremba, A. (2019). On quantum chosen-ciphertext attacks and learning with errors. In Leibniz International Proceedings in Informatics, LIPIcs. doi:10.4230/LIPIcs.TQC.2019.1
-
Arunachalam, S, Briët, J, & Palazuelos, C. (2019). Quantum query algorithms are completely bounded forms. SIAM Journal on Computing, 48(3), 903–925. doi:10.1137/18M117563X
-
Bannink, T.R, Briët, J, Buhrman, H.M, Labib, F.S, & Lee, T. J. (2019). Bounding quantum-classical separations for classes of nonlocal games. In 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019) (pp. 12:1–12:11). doi:10.4230/LIPIcs.STACS.2019.12
-
Witteveen, J, Bottesch, R.C, & Torenvliet, L. (2019). A Hierarchy of Polynomial Kernels. In Lecture Notes in Computer Science. doi:10.1007/978-3-030-10801-4
-
Groenland, K.L. (2019). Adiabatic state distribution using anti-ferromagnetic spin systems. SciPost Physics, 6(011). doi:10.21468/SciPostPhys.6.1.011
-
Gilyén, A.P, Arunachalam, S, & Wiebe, N. (2019). Optimizing quantum optimization algorithms via faster quantum gradient computation. In Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1425–1444). doi:10.1137/1.9781611975482.87
-
Coladangelo, A, Grilo, A.B, Jeffery, S, & Vidick, T. (2019). Verifier-on-a-leash: New schemes for verifiable delegated quantum computation, with quasilinear resources. In Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence. doi:10.1007/978-3-030-17659-4_9
-
Ito, T, & Jeffery, S. (2018). Approximate span programs. Algorithmica. doi:10.1007/s00453-018-0527-1
Current projects with external funding
-
Quantum Computation with Bounded Space ()
-
Quantum time-space tradeoff lower bounds ()
-
Algorithms, protocols and applications for small qubits systems
-
Quantum Algorithms in a Practical Setting
-
Realization of Quantum Computing Applications at Bosch
-
CIFAR grant Quantum Information Science (CIFAR)
-
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
-
CIFAR
-
Technische Universiteit Delft
-
Universiteit Leiden
-
Universiteit van Amsterdam
-
Vrije Universiteit Amsterdam