Picture of Yannick Stade

Yannick Stade, M.Sc.

Technical University of Munich

Informatics 2 - Chair of Formal Languages, Compiler Construction, Software Construction (Prof. Seidl)

Postal address

Boltzmannstr. 3
85748 Garching b. München



  • Optimization of compiler structures and desinging of programming languages for quantum computing
  • Verification of fixpoint-algorithms with proof assistants such as Isabelle
  • Language theoretic properties of graph extension grammars that are similar to hyperedge replacement grammars


  • Y. Stade, ‘Language Theoretic Properties of Graph Extension Languages: An Investigation of Graph Extension Grammars with Context Matching and Logic’, Thesis, 2022. [pdf]



If you are interested in any of my research areas, feel free to reach out to me. In my opinion, it is important that the topic fits you as a student and is of relevance for our research. Consequently, there is no list of available topics. Instead, we will find a suitable topic together in a short talk. Note regarding theses on omptimizing compiler structures for quantum computing there is no need to have prior knowledge in the area of quantum computing. There are also plenty of possible topics that you can work on without a deep understanding of quantum computers.