Stephan Mennicke

I am a postdoctoral researcher at the Knowledge-Based Systems group led by Markus Krötzsch. My research interests include rule-based reasoning, rule analysis, graph query languages, and theories of computation. I have also worked on Theory of Programming Languages (e.g., with Ursula Goltz, Uwe Nestmann, and Rob van Glabbeek) and Formal Methods of Software Product Lines (SPLs) (e.g., with Malte Lochau, Ina Schaefer, and Thomas Thüm).

I received my Bachelor’s degree (B.Sc.) from the University of Rostock and my Master’s degree (M.Sc.) from TU Braunschweig. I defended my dissertation Non-Standard Semantics of Graph Query Languages in 2020. My doctorate was supervised by Wolf-Tilo Balke.