Chair for Design Automation
School of Computation, Information and Technology
Technical University of Munich

 TUM

Yannick Stade M.Sc.

Yannick Stade M.Sc.
Doctoral Candidate

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

GitHub LinkedIn

Go to: Research  Publications  Teaching  Curriculum Vitae

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
Back to top ↑

Publications

Publications at the Chair for Design Automation

Organized Tutorials, Workshops, Special Sessions, etc.

  1. 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.
  1. 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.
  1. 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

  1. 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

  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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

  1. 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.
  1. 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.
  1. L. Schmid, Y. Stade, L. Burgholzer, and R. Wille. Compiler Development for Neutral Atom-based Quantum Computing. In APS Global Physics Summit. 2025.
  1. 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.
  1. 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.
  1. 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.
  1. Y. Stade, L. Schmid, L. Burgholzer, and R. Wille. Efficient Compilation Strategies for Zoned Neutral Atom Architectures. In European Quantum Technologies Conference. 2024.
  1. 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.
  1. Y. Stade, L. Schmid, L. Burgholzer, and R. Wille. Compiler Development for Neutral Atom Quantum Computers. In International Workshop on Quantum Compilation (IWQC). 2024.
  1. 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

  • 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.
Back to top ↑

Teaching

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.

Courses

Back to top ↑

Curriculum Vitae

Personal Data

Name:Yannick Stade
Nationality:German

Education

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

Contact

Technical University of Munich
School of Computation, Information and Technology
Chair for Design Automation
Prof. Dr. Robert Wille
Arcisstrasse 21
80333 Munich | Germany
robert.wille@tum.de
Tel: +49 89 289 23551

How To Find Us


CDA Report pdf
Read our three year annual report!

MQSF Logo
Find the announcement here!


The Chair for Design Automation is supported by the Bavarian State Ministry for Science and Arts through the Distinguished Professorship Program.

Der Lehrstuhl für Design Automation wird durch das Bayerische Staatsministerium für Wissenschaft und Kunst im Rahmen des Spitzenprofessurenprogramms gefördert.

Bavarian Coat of Arms