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

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

Yannick Stade M.Sc.
Yannick Stade M.Sc.
PhD Student

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

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 at CDA

Conferences

  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, 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. 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, 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, PDF.

Preprints

  1. Y. Stade, L. Burgholzer, and R. Wille. Towards Supporting QIR: thoughts on adopting the Quantum Intermediate Representation. 2024. arXiv:2411.18682, PDF.

Peer Reviewed Workshops

  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.

Other Publications

  • F. Drewes and Y. Stade. On the Power of Local Graph Expansion Grammars With and Without Additional Restrictions. In Theoretical Computer Science. 2024. DOI: 10.1016/j.tcs.2024.114763.
  • Y. Stade, S. Tilscher, and H. Seidl. The Top-Down Solver Verified: Building Confidence in Static Analyzers. In Computer Aided Verification (CAV). 2024. DOI: 10.1007/978-3-031-65627-9_15. 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: isa-afp.org/entries/Top_Down_Solver.html.
  • A. Elsharkawy et al. Challenges in HPCQC Integration. In IEEE International Conference on Quantum Computing and Engineering (QCE). 2023. DOI: 10.1109/QCE57702.2023.10304.
  • A. Elsharkawy et al. Integration of Quantum Accelerators with High Performance Computing – A Review of Quantum Programming Tools. 2023. arXiv: arXiv:2309.06167.
  • Y. Chen and Y. Stade. Quantum Constant Propagation. In Static Analysis Symposium (SAS). 2023. DOI: 10.1007/978-3-031-44245-2_9.
  • 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: 10.1007/978-981-19-9601-6_9.
  • Y. Stade. Language Theoretic Properties of Graph Extension Languages: An Investigation of Graph Extension Grammars with Context Matching and Logic. Thesis. 2022. [PDF].

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

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