Description

Research focus: Software, Design Automation, End-User Support, Compiler, Hardware-Software Interfaces, Quantum Circuit Simulation, Quantum Error Correction, Fault Tolerance, Open-Source, Quantum Computing Benchmarks

In our group, we are developing design automation methods and software tools for quantum computation. We act as an interface between the builders of quantum computers and their users. Our research encompasses several key areas: supporting end-users in realizing applications by shielding them from the complexities of quantum computing, simulating quantum circuits efficiently, and addressing noise-aware quantum circuit simulation. We also work on the synthesis of quantum and reversible circuits, mapping quantum circuits to real architectures, and verifying quantum circuits to ensure their intended functionality. Additionally, we explore quantum error correction and fault tolerance, neutral atom compilation strategies, and efficient representation of quantum states. To make our research accessible, we provide the open-source Munich Quantum Toolkit (MQT); a strong collection of quantum computing software tools available at mqt.readthedocs.io.