Prof. Dr. Erich Grädel

Prof. Dr. Erich Grädel

Address

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] logic.rwth-aachen.de

Research

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

Activities

  • 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

  • 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.
  • E. Grädel and M. Otto. Guarded Teams: The Horizontally Guarded Case. In 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) (M. Fernández and A. Muscholl, Eds.), vol. 152 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 22:1–22:17, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2020.

All publications

Selected Talks