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.

Follow us

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. Dr. Sihem Amer-Yahia PhD

    Information and Communication Technologies (ICTs), Data Management Research

  2. Prof. Yolande Berbers

    Information and Communication Technologies (ICTs), Distributed systems

  3. Prof. Dr. Jessica Burgner-Kahrs

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

  4. Prof. Dr. Dr. Francesca Buffa

    Biological and related sciences, Health, Information and Communication Technologies (ICTs), Mathematics and statistics, Computational biology, Bioinformatics, Mathematical modelling, Genomics, Epigenetics, Trascriptomics



  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.

Academia Net