Prof. Dr. Erich Grädel

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

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

E. Grädel, M. Grohe, B. Pago, and W. Pakusa. A Finite-Model-Theoretic View on Propositional Proof Complexity. Logical Methods in Computer Science, vol. Volume 15, Issue 1, 2019.
E. Grädel and M. Hoelzel. Dependency Concepts up to Equivalence. In 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) (D. Ghica and A. Jung, Eds.), vol. 119 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 25:1–25:21, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2018.
F. Abu Zaid, A. Dawar, E. Grädel, and W. Pakusa. Definability of Summation Problems for Abelian Groups and Semigroups. In Proceedings of 32th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017.
F. Abu Zaid, E. Grädel, and F. Reinhardt. Advice Automatic Structures and Uniformly Automatic Classes. In 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017.
E. Grädel, B. Pago, and W. Pakusa. The Model-Theoretic Expressiveness of Propositional Proof Systems. In 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017.