Yannick Stade M.Sc.
PhD Student
Arcisstrasse 21, 4th floor, room 4999
Phone: +49 (89) 289 - 23562
yannick.stade@tum.de
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
Publications
Publications at the Chair for Design Automation
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
- 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 .
- 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
- 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.
Preprints
- Y. Stade, L. Burgholzer, and R. Wille. Search Smarter, Not Harder: A Scalable, High-Quality Zoned Neutral Atom Compiler. 2025. arXiv:2512.13790 , PDF .
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 .
Teaching
Advised Theses
- 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
- ST2025
- ST2024
- WT2023/24
- ST2023
- WT2022/23
- ST2022
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 |
