Dr. Stephan Mennicke
Research AssociateTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Knowledge-Based Systems
I got my master's degree from TU Braunschweig. In March 2020, I successfully defended my PhD thesis on Non-Standard Semantics of Graph Query Languages. I've worked on Theory of Programming Languages (under Prof. Ursula Goltz and Prof. Uwe Nestmann). Additionally, I contributed some formal methods for software product lines (SPLs).