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]



  • Programme Chair of the ESF Research Networking Programme GAMES
  • Editor of the Journal of Symbolic Logic
  • Editor of the Reviews Section in Bulletin of Symbolic Logic
  • Editor of Logical Methods in Computer Science
  • Co-author/-editor of five books

Recent Publications

All publications

Selected Talks