Prof. Dr. Erich Grädel

Prof. Dr. Erich Grädel


Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Phone:   +49-241-80-21730
Fax:   +49-241-80-22215
Room:   4120 (E1) / Ahornstr. 55
Email:   graedel [AT]


  • Algorithmic Model Theory
  • Logic and Game Theory
  • Logic and Algorithms
  • Fixed-Point Logics
  • Logics for Dependence and Independence


  • Editor of Logical Methods in Computer Science (since 2004)
  • Editor of Mathematical Logic Quarterly (since 2012)
  • Member of the Editorial Board of the Journal of Logic and Computation (Corner Editor for Logic and Games, since 2007).
  • Editor of the Journal of Symbolic Logic (2008 - 2013
  • Chair of the European GAMES Research-Training Network (2002 – 2013)
  • Author/Editor of five books

Recent Publications

All publications

Selected Talks