Yannick Stade

Doctoral Candidate

Arcisstrasse 21, 4th floor, room 4999
Phone: +49 (89) 289 - 23562
yannick.stade@tum.de

Research

Interests

Optimization of compiler structures for quantum computing, esp.
- mapping of quantum circuits to neutral atom architectures
- fault-tolerant compilation of logical quantum circuits
Verification of fixpoint-algorithms with proof assistants such as Isabelle
Language theoretic properties of graph extension grammars that are similar to hyperedge replacement grammars

Publications

Publications at the Chair for Design Automation

Book Chapters

L. Schmid, D. Schoenberger, Y. Stade, L. Burgholzer, and R. Wille. Hardware-aware compilation for different quantum computing platforms. In P. Mishra, editor, Design Automation for Quantum Computing. Springer, 2026. DOI, PDF.

Organized Tutorials, Workshops, Special Sessions, etc.

Y. Stade, L. Burgholzer, M. Reumann, D. Haag, D. Rovara, P. Hopf, and R. Wille. MLIR for Quantum-Classical Compilation: Building a Future-Proof Compilation Framework. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2026.

L. Burgholzer, J. Cong, Y. Ding, R. Haenel, P. Lopes, X. Luo, L. Schmid, Y. Stade, P. Weinberg, R. Wille, and J. Wurtz. Compilation, Emulation and Verification for Neutral Atom Computing. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2026.

L. Burgholzer, D. Haag, Y. Stade, D. Rovara, P. Hopf, and R. Wille. The MQT Compiler Collection: A Blueprint for a Future-Proof Quantum-Classical Compilation Framework. In Design, Automation and Test in Europe (DATE). 2026. PDF.

Journals

L. Burgholzer, Y. Stade, T. Peham, and R. Wille. MQT Core: The backbone of the Munich Quantum Toolkit (MQT). Journal of Open Source Software, 2025. DOI.

Conferences, Workshops, etc. with Proceedings

M. Reumann, Y. Stade, R. Wille, and L. Burgholzer. MLIR for Quantum Beyond Gate Cancellation: Quantum Circuit Mapping Reimagined. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2026. PDF.

T. Forster, Y. Stade, A. Fyrillas, J. Senellart, L. Burgholzer, and R. Wille. Handling Imperfections in Subcircuit Compilation for Linear Optical Quantum Computing. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2026. PDF.

F. J. Fröhler, Y. Stade, C. Ufrecht, D. D. Scherer, and R. Wille. Scalable Circuit Cutting: A Framework for Combined Gate and Wire Cuts Using Gate Groups. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2026. PDF.

Y. Stade, L. Burgholzer, L. Schmid, and R. Wille. Enabling neutral atom integration: redesigning device models for universal quantum ecosystems. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2026. arXiv:2607.20616, PDF.

Y. Stade and R. Wille. Guiding compiler optimizations for neutral atom quantum computers through visualizations. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2026. arXiv:2608.04081, PDF.

Y. Stade, L. Burgholzer, and R. Wille. Search Smarter, Not Harder: A Scalable, High-Quality Zoned Neutral Atom Compiler. In Design Automation Conference (DAC). 2026. Acceptance rate: 22.3%. arXiv:2512.13790, PDF.

L. Burgholzer, J. Echavarria, P. Hopf, Y. Stade, D. Rovara, L. Schmid, E. Kaya, B. Mete, M. N. Farooqi, M. Chung, M. De Pascale, L. Schulz, M. Schulz, and R. Wille. The Munich Quantum Software Stack: Connecting End Users, Integrating Diverse Quantum Technologies, Accelerating HPC. In Proceedings of the Supercomputing Asia and International Conference on High Performance Computing in Asia Pacific Region. 2026. DOI, PDF.

P. Hopf, E. Ochoa Lopez, Y. Stade, D. Rovara, N. Quetschlich, I. A. Florea, J. Izaac, R. Wille, and L. Burgholzer. Integrating Quantum Software Tools with(in) MLIR. In Proceedings of the Supercomputing Asia and International Conference on High Performance Computing in Asia Pacific Region. 2026. DOI, PDF.

Y. Stade, L. Burgholzer, and R. Wille. Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation. In Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC). 2025. Acceptance rate: 41%. arXiv:2411.18682, DOI, PDF.

Jorge Echavarria, Muhammad Nufail Farooqi, Amit Devra, Santana Lujan, Léo Van Damme, Hossam Ahmed, Mart\‘ın Letras, Ercüment Kaya, Adrian Vetter, Max Werninghaus, Martin Knudsen, Felix Rohde, Albert Frisch, Eric Mansfield, Rakhim Davletkaliyev, Vladimir Kukushkin, Noora Färkkilä, Janne Mäntylä, Nikolas Pomplun, Andreas Spörl, Lukas Burgholzer, Yannick Stade, Robert Wille, Laura B. Schulz, and Martin Schulz. Tackling the Challenges of Adding Pulse-level Support to a Heterogeneous HPCQC Software Stack: MQSS Pulse. In Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC). 2025. Acceptance rate: 41%. arXiv:2510.26565, DOI, PDF.

Y. Stade, W.-H. Lin, J. Cong, and R. Wille. Routing-Aware Placement for Zoned Neutral Atom-based Quantum Computing. In International Conference on Computer Aided Design (ICCAD). 2025. Acceptance rate: 25%. arXiv:2505.22715, DOI, PDF.

Y. Stade, L. Schmid, L. Burgholzer, and R. Wille. Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers. In Design, Automation and Test in Europe (DATE). 2025. Acceptance rate: 32%. arXiv:2411.09738, DOI, PDF.

R. Wille, L. Schmid, Y. Stade, J. Echavarria, M. Schulz, L. Schulz, and L. Burgholzer. QDMI – Quantum Device Management Interface: Hardware-Software Interface for the Munich Quantum Software Stack. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2024. DOI, PDF.

Y. Stade, L. Schmid, L. Burgholzer, and R. Wille. An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2024. arXiv:2405.08068, DOI, PDF.

R. Wille, L. Berent, T. Forster, J. Kunasaikaran, K. Mato, T. Peham, N. Quetschlich, D. Rovara, A. Sander, L. Schmid, D. Schoenberger, Y. Stade, and L. Burgholzer. The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing. In IEEE International Conference on Quantum Software (QSW). 2024. Invited Paper. arXiv:2405.17543, DOI, PDF.

Conferences, Workshops, etc. without Proceedings

P. Hopf, E. Ochoa Lopez, Y. Stade, D. Rovara, N. Quetschlich, I. A. Florea, J. Izaac, R. Wille, and L. Burgholzer. Integrating Quantum Software Tools with(in) MLIR. In Software Engineering 2026 Companion Proceedings. Gesellschaft für Informatik e.V., 2026.

Y. Stade, L. Schmid, L. Burgholzer, W.-H. Lin, J. Cong, and R. Wille. Compilation Support for Zoned Neutral Atom-based Quantum Computers. In European Quantum Technologies Conference. 2025.

L. Schmid, Y. Stade, L. Burgholzer, and R. Wille. Compiler Development for Neutral Atom-based Quantum Computing. In APS Global Physics Summit. 2025.

L. Schmid, Y. Stade, L. Burgholzer, and R. Wille. Compiler Development for Neutral Atom-based Quantum Computing. In Munich Conference on Quantum Science and Technology. 2025.

Y. Stade, W.-H. Lin, J. Cong, and R. Wille. Routing-Aware Placement for Zoned Neutral Atom-based Quantum Computing. In International Workshop on Quantum Compilation (IWQC). 2025.

Y. Stade, L. Burgholzer, P. Hopf, D. Rovara, and R. Wille. Learning from the Classical Realm: Leveraging MLIR for a Modular Quantum Compilation Infrastructure. In Gesellschaft für Informatik Quantum Computing Workshop (GI QC). 2025.

Y. Stade, L. Schmid, L. Burgholzer, and R. Wille. Efficient Compilation Strategies for Zoned Neutral Atom Architectures. In European Quantum Technologies Conference. 2024.

Y. Stade, J. Echavarria, R. Wille, L. Schulz, M. Schulz, and L. Burgholzer. QDMI – Quantum Device Management Interface: Hardware-Software Interface for the Munich Quantum Software Stack. In European Quantum Technologies Conference. 2024.

Y. Stade, L. Schmid, L. Burgholzer, and R. Wille. Compiler Development for Neutral Atom Quantum Computers. In International Workshop on Quantum Compilation (IWQC). 2024.

L. Schmid, Y. Stade, and R. Wille. Bridging Physics and Computer Science: Compiler Development for Neutral Atom Quantum Computing. In Munich Conference on Quantum Science and Technology. 2024.

Other Publications

S. Tilscher, A. Graß, H. Seidl, and Y. Stade. Proving Total Correctness of Top-Down Solvers with Widening and Narrowing. In Journal of Automated Reasoning (JAR). 2026. DOI.
A. Elsharkawy et al. Integration of Quantum Accelerators with High Performance Computing – A Review of Quantum Programming Tools. In ACM Transactions on Quantum Computing (TQC). 2025. arXiv:2309.06167, DOI.
F. Drewes and Y. Stade. On the Power of Local Graph Expansion Grammars With and Without Additional Restrictions. In Theoretical Computer Science. 2024. DOI.
Y. Stade, S. Tilscher, and H. Seidl. The Top-Down Solver Verified: Building Confidence in Static Analyzers. In Computer Aided Verification (CAV). 2024. DOI. Acceptance rate: 26%.
Y. Stade, S. Tilscher, and H. Seidl. Partial correctness of the top-down solver. In Archive of Formal Proofs (AFP). 2024. URL.
A. Elsharkawy et al. Challenges in HPCQC Integration. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2023. DOI.
Y. Chen and Y. Stade. Quantum Constant Propagation. In Static Analysis Symposium (SAS). 2023. DOI.
S. Tilscher, Y. Stade, M. Schwarz, R. Vogler, and H. Seidl. The Top-Down Solver—An Exercise in A2I. In Challenges of Software Verification (CSV). 2023. DOI.
Y. Stade. Language Theoretic Properties of Graph Extension Languages: An Investigation of Graph Extension Grammars with Context Matching and Logic. Thesis. 2022. URN.

Teaching

Courses

Advised Theses

L. Bao, ‘Structured Control Flow in Quantum Dialect Conversion: From High-Level Code to Executable QIR’, MA Thesis, 2026
C. Schäfer, ‘Decomposition and Scheduling of Quantum Gates for Neutral Atom Quantum Computers’, BA Thesis, 2026
M. Reumann, ‘Quantum Circuit Mapping using MLIR’, MA Thesis, 2026
L. Bao, ‘Quantum Circuit Optimizations within the MLIR Framework’, Interdisciplinary Project (IDP), 2025.
N. Petzendorfer, ‘Visualizing Atom Shuttling: A Web Application for Neutral Atom Quantum Computers’, BA Thesis, 2025.
C. Dünzinger, ‘Ordering of Decision Diagrams for Quantum Simulation without Reordering’, BA Thesis, 2024.
A. Graß, ‘Towards the Verification of Top-Down Solvers’, MA Thesis, 2024.
M. Hochreiter, ‘Enhancing Quantum Constant Propagation’, BA Thesis, 2024.
A. Manucharyan, ‘Demand-driven Entangling Weighted Decision Diagrams for Quantum Simulation’, BA Thesis, 2023.
D. Fouzri, ‘Hardware-Dependent Visualization of Quantum Circuits’, BA Thesis, 2023.
J. Zuchna, ‘Efficient Implementation of Constant Propagation for Quantum Circuits’, BA Thesis, 2023.
J. Marin, ‘Adaptation of Classical Optimizations to Hybrid Quantum-Classical Programs’, MA Thesis, 2023.
L. Bao, ‘Implementing an Intermediate Representation for Quantum Computing based on MLIR’, BA Thesis, 2023.

If you are interested in one of these works and want to have a digital copy, drop me an email.

Curriculum Vitae

Personal Data

Name:	Yannick Stade
Nationality:	German

Education

01/2022	Master's Thesis: Language Theoretic Properties of Graph Extension Languages: An Investigation of Graph Extension Grammars with Context Matching and Logic
09/2021–01/2022	Exchange stay with ERASMUS at Umeå University, Sweden
04/2021–01/2022	Master's degree (M.Sc.) MINT Lehramt PLUS at Julius-Maximilians University, Würzburg, Germany
09/2019–06/2020	Exchange stay with ERASMUS at Umeå University, Sweden
03/2021	State examination: Teaching degree for high school in Computer Science and Mathematics
10/2015–03/2021	Teaching degree for high school at Julius-Maximilians University, Würzburg, Germany
until 2015	High School, Spessart-Gymnasium Alzenau, Germany