Barbara König

Barbara König is a Professor at the University of Duisburg-Essen, affiliated with the Department of General Computer Science within the Faculty of Computer Science. Her research focuses on theoretical computer science, with a strong emphasis on formal methods, graph transformation systems, coalgebraic semantics, and behavioral metrics. She leads a team of researchers including postdocs and PhD students like Rebecca Bernemann and Sebastian Gurke.

Her work integrates mathematical rigor with practical applications in formal verification, probabilistic systems, and automated reasoning. König has organized and contributed to numerous international conferences such as CSL, CONCUR, and ICGT, highlighting her role in advancing the field’s research agenda.

Key research themes include fixpoint theory, coalgebraic modal logics, and the development of tools like CoReS for graph analysis. Her current projects explore quantitative logics, behavioral distances, and abstraction-refinement techniques for complex systems analysis.

König actively contributes to academic communities through editorial roles and serves as a mentor in the university’s theoretical computer science department. Her interdisciplinary approach bridges foundational theory with applied challenges in software engineering and system modeling.