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. Dr. Maria Anisimova

    Biological and related sciences , Education, Information and Communication Technologies (ICTs), Mathematics and statisticsBioinformatics, computational genomics and modeling molecular evolution

  2. Prof. Dr. Barbara Caputo

    Information and Communication Technologies (ICTs)computer vision, machine learning, robot vision, multimodal applied learning

  3. Dr. Dajana Cassioli

    Engineering and engineering trades , Information and Communication Technologies (ICTs)Wireless Communications

  4. Prof. Dr. Jessica Burgner-Kahrs

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



  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.