Quantum dynamics and quantum technology, including quantum algorithm development, quantum software, and use case applications in fields such as quantum chemistry and the life sciences. Web link
Quantum computers are fundamentally more efficient than classical computers at certain tasks, including prime factorization and the simulation of molecules. This provides an enormous potential advantage for applications such as drug design and optimization of sustainable supply chains. However, this potential can only be realized if we learn how to program a quantum computer, that is, design efficient quantum algorithms, verify and test quantum software, and compile it onto physical quantum platforms. Hence, quantum algorithms and software technology bridges the gap between quantum computers and applications.
The broad aim of this research theme is to develop all theory, techniques, and tools that are required for an efficient quantum software pipeline, which can realize the potential of quantum algorithms and demonstrate their application. We expect to adapt and apply many traditional computer science methods and technologies, e.g. algorithms, complexity theory, programming language design, compiler technology, and automated reasoning for verification, synthesis, optimization and simulation of quantum circuits.
We aim at two different time scales:
Quantum circuit: Double qubit-excitation, building block in the VQE algorithm [Yordanov etal.]