Yannick Stade, M.Sc.
Technische Universität München
Lehrstuhl für Design Automation (Prof. Wille)
Postadresse
Postal:
Arcisstr. 21
80333 München
Forschung
Interessen
- Verifikation von Fixpunkt-Algorithmen mit Beweisassistenten wie Isabelle
- Sprachtheoretische Eigenschaften von Graphenerweiterungsgrammatiken, die Hyperkanten-Ersetzungsgrammatiken ähnlich sind
- Optimierung von Compilerstrukturen und Entwurf von Programmiersprachen für das Quantencomputing
Publikationen
- Y. Stade, ‘Language Theoretic Properties of Graph Extension Languages: An Investigation of Graph Extension Grammars with Context Matching and Logic’, Thesis, 2022. [pdf]
- S. Tilscher, Y. Stade, M. Schwarz, R. Vogler, and H. Seidl, ‘The Top-Down Solver—An Exercise in A2I’, in Challenges of Software Verification, V. Arceri, A. Cortesi, P. Ferrara, and M. Olliaro, Eds., in Intelligent Systems Reference Library, vol. 238. Singapore: Springer Nature Singapore, 2023, pp. 157–179. doi: 10.1007/978-981-19-9601-6_9.
- Y. Chen and Y. Stade, ‘Quantum Constant Propagation’, in Static Analysis, vol. 14284, M. V. Hermenegildo and J. F. Morales, Eds., in Lecture Notes in Computer Science, vol. 14284. , Cham: Springer Nature Switzerland, 2023, pp. 164–189. doi: 10.1007/978-3-031-44245-2_9.
- A. Elsharkawy et al., "Challenges in HPCQC Integration," 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), Bellevue, WA, USA, 2023, pp. 405-406, doi: 10.1109/QCE57702.2023.10304.
Lehre
Abschlussarbeiten
Wenn du dich für eines meiner Forschungsgebiete interessierst, kannst du dich gerne an mich wenden. Meiner Meinung nach ist es wichtig, dass das Thema zu dir als Student*in passt und für unsere Forschung von Bedeutung ist. Daher gibt es keine Liste mit verfügbaren Themen. Stattdessen werden wir gemeinsam in einem kurzen Gespräch ein passendes Thema finden.
Abgeschlossene Abschlussarbeiten
-
L. Bao, 'Implementing an Intermediate Representation for Quantum Computing based on MLIR', BA Thesis, 2023. [pdf]
-
J. Marin, 'Adaptation of Classical Optimizations to Hybrid Quantum-Classical Programs', MA Thesis, 2023. [pdf]
-
J. Zuchna, 'Efficient Implementation of Constant Propagation for Quantum Circuits', BA Thesis, 2023. [pdf]
-
D. Fouzri, 'Hardware-Dependent Visualization of Quantum Circuits', BA Thesis, 2023. [pdf]
-
A. Manucharyan, 'Demand-driven Entangling Weighted Decision Diagrams for Quantum Simulation', BA Thesis, 2023. [pdf]