Stephan Mennicke

Dr. Stephan Mennicke is a postdoctoral researcher at the Knowledge-Based Systems group within the Faculty of Computer Science at Technische Universität Dresden. He leads research in knowledge representation, graph databases, query languages, process modeling, and formal methods. His PhD thesis (2020) focused on Non-Standard Semantics of Graph Query Languages, advised by Prof. Dr. Markus Krötzsch. He has collaborated with notable institutions including TU Braunschweig and CFAED.

Education:

• PhD in Computer Science, TU Dresden (2020)
• MSc in Computer Science, TU Braunschweig

Research Interests: His work bridges theoretical foundations and practical applications in graph databases, existential rules, formal semantics, and software product-line engineering. He explores query languages' semantics, provenance computation, and formal verification techniques for databases and processes.

Teaching: He has taught advanced courses including Concurrency Theory, Complexity Theory, and Theorem Proving with LEAN across multiple semesters. His teaching emphasizes formal methods and logic in computer science.

Labs & Collaborations: He contributes to the Center for Advancing Electronics Dresden (cfaed) and the Center for Perspicuous Computing (CPEC), focusing on transparent and rigorous computational systems.