Short CV/Education and training

  • 1998
    Diplom degree in mathematics with a minor in computer science

  • 2002
    Doctor of Natural Science (Dr. rer. nat.) in the Department of Mathematics and Computer Science at Mainz University, Germany (under Prof. Clemens Lautemann)

  • 2002 – 2003
    Postdoc at the Laboratory for Foundations of Computer Science at the University of Edinburgh, Scotland, UK

  • 2003 – 2005
    Research assistant under the Chair in logic in computer science at Humboldt University of Berlin, Germany

  • 2005 – 2007
    Junior professor of logic and database theory in the Department of Computer Science at Humboldt University of Berlin

  • Since 2007
    Professor (initially W2, since 2008 W3) of the theory of complex systems in the Institute of Computer Science at Goethe University Frankfurt, Germany

Selected publications

Membership in scientific bodies/juries

  • Member of the executive committee of the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG – German association for mathematic logic and basic research), since 2010

  • Member of the editorial board of the journal Logical Methods in Computer Science (LMCS), since 2010

  • Member of the scientific directorate of Schloss Dagstuhl – Leibniz Centre for Informatics, since 2010

  • Chair of the advisory committee to the German National Computer Science Competition, since 2008

  • Member of the council of the International Conference on Database Theory (ICDT), since 2007


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. Prof. Dr. Gemma Boleda

    Information and Communication Technologies (ICTs), Languages, Computational linguistics, Linguistics, Semantics

  2. Prof. Dr. Ruth Breu

    Information and Communication Technologies (ICTs), Software engineering

  3. Prof. Dr. Jessica Burgner-Kahrs

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

  4. Prof. Dr. Elisabeth André

    Information and Communication Technologies (ICTs), Human-computer interaction

Academia Net