Prof. Dr. Erich Grädel

Prof. Dr. Erich Grädel

Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Telefon:   +49-241-80-21730
Fax:   +49-241-80-22215
Büro:   4120 (E1) / Ahornstr. 55
E-Mail:   graedel [AT] logic.rwth-aachen.de

Forschung

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

Tätigkeiten

  • Mitherausgeber des Journals Logical Methods in Computer Science (seit 2004)
  • Herausgeber des Journals Mathematical Logic Quarterly (seit 2012)
  • Mitglied des Editorial Board des Journal of Logic and Computation (Corner Editor für Logic and Games, seit 2007).
  • Herausgeber des Journal of Symbolic Logic (2008 - 2013)
  • Chair des europäischen GAMES-Netzwerks (2002 – 2013)
  • Autor und Herausgeber von fünf Büchern

Aktuelle Publikationen

Alle Publikationen

Ausgewählte Vorträge