wille_robert_profile

Chair for Design Automation

Technical University of Munich

TUM School of Computation, Information and Technology

Arcisstr. 21

80333 Munich

robert.wille[at]tum.de

Research Website

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.

Publications

Quantum Entrepreneurship Lab: Training a Future Workforce for the Quantum Industry

A. Sander, R. Cercola, A. Capogrosso, S. Filipp, B. Jobst, C. B. Mendl, F. Pollmann, C. Trummer, I. Welpe, M. Werninghaus, R. Wille, C. Wimmer

4th International Conference on Quantum Computing and Engineering-QCE-Annual 185-193 (2025).

Show Abstract

The Quantum Entrepreneurship Lab (QEL) is a one-semester, project-based course at the Technical University of Munich (TUM), designed to bridge the gap between academic research and industrial application in the quantum sector. As part of the Munich Quantum Valley (MQV) ecosystem, the course fosters interdisciplinary collaboration between technical and business students, equipping them with the skills necessary to contribute to or lead in the emerging quantum industry. The QEL curriculum integrates two complementary tracks. First, technical students form teams where they engage in cutting-edge, industry-relevant research topics under academic supervision. Meanwhile business students in a parallel course explore commercialization strategies, risks, and opportunities within the quantum technology landscape. Midway through the semester, a selection of the business students join the technical course to form interdisciplinary teams which assess the feasibility of transforming scientific concepts into viable business solutions. The course culminates in three key deliverables: a publication-style technical report, a white paper analyzing the business potential and financial requirements, and a startup pitch presented to the quantum community at a Demo Day. This work outlines the course structure, objectives, and outcomes, providing a model for other institutions seeking to cultivate a highly skilled, innovation-driven workforce in quantum science and technology.

10.1109/qce65121.2025.20550

Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware

K. Staudacher, L. Schmid, J. Zeiher, R. Wille, D. Kranzlmueller

21st International Conference on Quantum Physics and Logic (QPL) 96-116 (2024).

Show Abstract

Quantum circuit synthesis describes the process of converting arbitrary unitary operations into a gate sequence of a fixed universal gate set, usually defined by the operations native to a given hardware platform. Most current synthesis algorithms are designed to synthesize towards a set of single-qubit rotations and an additional entangling two-qubit gate, such as CX, CZ, or the M & oslash,.lmer-S & oslash,.rensen gate. However, with the emergence of neutral atom-based hardware and their native support for gates with more than two qubits, synthesis approaches tailored to these new gate sets become necessary. In this work, we present an approach to synthesize (multi-) controlled phase gates using ZX-calculus. By representing quantum circuits as graph-like ZX-diagrams, one can utilize the distinct graph structure of diagonal gates to identify multi-controlled phase gates inherently present in some quantum circuits even if none were explicitly defined in the original circuit. We evaluate the approach on a wide range of benchmark circuits and compare them to the standard Qiskit synthesis regarding its circuit execution time for neutral atom-based hardware with native support of multi-controlled gates. Our results show possible advantages for current state-of-the-art hardware and represent the first exact synthesis algorithm supporting arbitrary-sized multi-controlled phase gates.

10.4204/eptcs.406.5

Scroll to top