Short CV/Education and training

  • 2004 – 2006
    Head of an Emmy Noether junior research group at the University of Stuttgart, Germany

  • Since 2006
    Professor of theoretical computer science at the University of Duisburg-Essen, Germany

Selected publications

  • Bonchi, F., Gadducci, F., König, B.: Synthesising CCS bisimulation using graph rewriting. In: Information and Computation 207, 2009. S. 14-40.

  • Baldan, P., Corradini, A., König, B.: A framework for the verification of infinite-state graph transformation systems. In: Information and Computation 206, 2008. S. 869-907.

  • Joshi, S., König, B.: Applying the graph minor theorem to the verification of graph transformation systems. In: Proc. of CAV '08, S. 214-226. Springer, 2008.

Selected projects

  • Graphs, Recognisability and Verification (GaReV), German Research Foundation (DFG) project, since 2010

  • Behavioural Simulation and Equivalences of Systems Modelled by Graph Transformation (Behaviour-GT), DFG project, since 2008

  • Static Analysis of Dynamically Evolving Systems (SANDS), Emmy Noether DFG project, since 2004

Membership in scientific bodies/juries

  • Membership in numerous programme committees


You can only see the contact information of the academics in the database if you are a registered user of AcademiaNet.
Please register here


  1. Read what our members say about AcademiaNet.

No more excuses!

  1. Please download the brochure "No more excuses" and read more about female experts in Europe, and about AcademiaNet.

Similar profiles

  1. Prof. Dr. Jessica Burgner-Kahrs

    Information and Communication Technologies (ICTs), Engineering and engineering trades Robotics, continuous robots, soft robots

  2. Dr. Sihem Amer-Yahia PhD

    Information and Communication Technologies (ICTs)Data Management Research

  3. Prof. Dr. Elisabeth André

    Information and Communication Technologies (ICTs)Human–computer interaction

  4. Dr. Bahareh Afshari

    Information and Communication Technologies (ICTs), Mathematics and statisticsMathematical and Computational Logic



  1. Live Slow, Die Old

    Behavioural biologists from the University of Zurich reveal this correlation between longevity and personality for female house mice. Furthermore, they found a correlation with a genetic element on chromosome 17.