Barbara König is a German computer scientist. She is head of the chair of Theoretical Computer Science at the Faculty of Engineering at the University of Duisburg-Essen. König studied at the Technical University of Munich from 1990 to 1995 and worked as a research assistant at the Department of Computer Science II until 2003. In 1999 she received her doctorate with a dissertation on “Description and Verification of Mobile Processes with Graph Rewriting Techniques” under Jürgen Eickel. From 2003 to 2006 she headed an Emmy Noether junior research group at the University of Stuttgart. Based on her habilitation thesis on “Analysis and verification of systems with dynamically evolving structure”, she was awarded the venia legendi there in 2005. In 2006, she accepted the offer of a professorship at the University of Duisburg-Essen, where she has since been head of the Chair of Theoretical Computer Science at the Faculty of Engineering on the Duisburg campus.


  • Duisburg-Essen Teaching Award 2013
  • since May 2010: Member of AcademiaNet after nomination by the German Research Foundation
  • graph transformation
  • verification and analysis
  • behavioural equivalences and coalgebra
  • fixpoint equations