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
- 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, 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.
Preprints
- 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. 2025. arXiv:2509.02674, PDF.
Peer Reviewed Workshops
- 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.
- 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. Compiler Development for Neutral Atom Quantum Computers. In International Workshop on Quantum Compilation (IWQC). 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.
Teaching
Advised Theses
- L. Bao, ‘Implementing an Intermediate Representation for Quantum Computing based on MLIR’, BA Thesis, 2023.
- J. Marin, ‘Adaptation of Classical Optimizations to Hybrid Quantum-Classical Programs’, MA Thesis, 2023.
- J. Zuchna, ‘Efficient Implementation of Constant Propagation for Quantum Circuits’, BA Thesis, 2023.
- D. Fouzri, ‘Hardware-Dependent Visualization of Quantum Circuits’, BA Thesis, 2023.
- A. Manucharyan, ‘Demand-driven Entangling Weighted Decision Diagrams for Quantum Simulation’, BA Thesis, 2023.
- M. Hochreiter, ‘Enhancing Quantum Constant Propagation’, BA Thesis, 2024.
- A. Graß, ‘Towards the Verification of Top-Down Solvers’, MA Thesis, 2024.
- C. Dünzinger, ‘Ordering of Decision Diagrams for Quantum Simulation without Reordering’, BA Thesis, 2024.
- N. Petzendorfer, ‘Visualizing Atom Shuttling: A Web Application for Neutral Atom Quantum Computers’, BA Thesis, 2025.
If you are interested in one of these works and want to have a digital copy, drop me an email.
Courses
- ST2022
- WT2022/23
- ST2023
- WT2023/24
- ST2024
- ST2025
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 |
