Quantum Computing and Simulation
Quantum Computing and Quantum Simulation study how quantum-mechanical principles can be used to process information and model quantum systems. Together, they form a foundation for future quantum technologies.
Overview
Quantum Computing and Quantum Simulation study how quantum-mechanical principles can be used to process information and model quantum systems. Together, they form a foundation for future quantum technologies.
Research in quantum computing at the department addresses the design of algorithms, programming languages, verification techniques, and systems for quantum information processing, with an emphasis on correctness, scalability, and software foundations.
Research in quantum simulation develops computational and numerical methods for analysing quantum dynamics, including many-body and open quantum systems. These approaches are essential both for advancing fundamental understanding and for supporting the development and validation of quantum hardware.
Together, this research area connects computer science with physics, mathematics, and high-performance computing, and supports both theoretical advances and practical progress in quantum technologies.
Research topics
- Quantum program verification (QPV): reasoning about the correctness of quantum algorithms and circuits using formal methods from automata theory, logic, and mathematics in general.
- Quantum numerical methods (QNM): developing efficient simulation and numerical techniques for analysing quantum dynamics, including many-body and open quantum systems, with an emphasis on high-dimensional simulations and high-performance computing.
Faculty members
- Parosh Abdulla (also see his homepage): QPV
- Doghonay Arjmand: QNM
- Philipp Rümmer: QPV
- Roman Iakymchuk: QNM
- Hans Karlsson: QNM
- Davoud Mirzaei: QNM
- Prashant Singh: QNM
- Ramanathan Thinniyam Srinivasan: QPV