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

Contact

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

Testimonials

  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. Susanne Biundo-Stephan

    Information and Communication Technologies (ICTs)Artificial Intelligence

  2. Prof. Dr. Ruth Breu

    Information and Communication Technologies (ICTs)Software engineering

  3. Dr. Maria Anisimova

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

  4. Prof. Dr. Susanne Albers

    Information and Communication Technologies (ICTs)Efficient algorithms

 

News

  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.