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

  • K. M. Dannert, E. Grädel, M. Naaf, and V. Tannen. Semiring Provenance for Fixed-Point Logic. In 29th EACSL Annual Conference on Computer Science Logic (CSL 2021) (C. Baier and J. Goubault-Larrecq, Eds.), vol. 183 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 17:1–17:22, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2021.
  • K. M. Dannert and E. Grädel. Semiring Provenance for Guarded Logics. In Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory through Algebraic Logic (to appear), Outstanding Contribution to Logic. Springer, 2020.
  • A. Dawar, E. Grädel, and M. Hoelzel. Convergence and Nonconvergence Laws for Random Expansions of Product Structures. In Fields of Logic and Computation III (A. Blass, P. Cégielski, N. Dershowitz, M. Droste, and B. Finkbeiner, Eds.), pp. 118–132. Springer, 2020.
  • E. Grädel. Automatic Structures: Twenty Years Later. In LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020, pp. 21–34. ACM, 2020.
  • E. Grädel, D. Haase, and R. Wilke. Separation Logic and Logics with Team Semantics. In Workshop on Logics of Dependence and Independence (J. Väänänen and F. Yang, Eds.), 2020.

Alle Publikationen

Ausgewählte Vorträge