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
- S. Brinke, E. Grädel, and L. Mrkonjić. Ehrenfeucht-Fraïssé Games in Semiring Semantics. In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) (A. Murano and A. Silva, Eds.), vol. 288 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 19:1–19:22, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024.
- E. Grädel, N. Lücking, and M. Naaf. Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. Logical Methods in Computer Science, vol. 20(1), 2024.
- 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.
- S. Brinke, E. Grädel, and L. Mrkonjić. Ehrenfeucht-Fraïssé Games in Semiring Semantics. arXiv:2308.04910 [cs.LO], full version of CSL'24 paper, 2023.