Foto von Yannick Stade

M.Sc. Yannick Stade



  • Optimization of compiler structures for quantum computing
  • Verification of fixpoint-algorithms with proof assistants


  • 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. 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.