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