Prof. Dr. Erich Grädel

Address
Mathematische Grundlagen der InformatikRWTH 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
- C. Bizière, E. Grädel, and M. Naaf. Locality Theorems in Semiring Semantics. In 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) (J. Leroux, S. Lombardy, and D. Peleg, Eds.), vol. 272 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 20:1–20:15, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023.
- C. Bizière, E. Grädel, and M. Naaf. Locality Theorems in Semiring Semantics. arXiv:2303.12627 [cs.LO], full version of MFCS'23 paper, 2023.
- R. Albert and E. Grädel. Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence. Annals of Pure and Applied Logic, vol. 173(10), pp. 103088, 2022.
- A. Dawar, E. Grädel, and M. Lichter. Limitations of the invertible-map equivalences. Journal of Logic and Computation, 2022.
- E. Grädel, H. Helal, M. Naaf, and R. Wilke. Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. In Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022) (C. Baier and D. Fisman, Eds.), pp. 41:1–41:12. ACM, 2022.