معرفی
Prof. Dr. Erich Grädel is a full professor in the Mathematical Foundations of Informatik group at RWTH Aachen University, where he conducts research at the intersection of logic, computer science, and mathematics. His work lies in the Department of Mathematics, Computer Science and Natural Sciences, focusing on logic and theoretical computer science.
- Institution: RWTH Aachen University
- Department: Mathematical Foundations of Informatik
- Research Focus: Logic in Computer Science, Algorithmic Model Theory, Semiring Semantics, Dependence Logic
His primary research interests include logic and games, algorithmic model theory, fixed-point logics, and semiring semantics for provenance analysis. He has pioneered work in logics of dependence and independence, extending classical logical frameworks to model information flow and uncertainty. His recent publications emphasize semiring-based provenance in first-order and fixed-point logic, Büchi games, and team semantics, often in collaboration with Val Tannen and Matthias Naaf.
The trend in his recent articles (2021–2025) reveals a deep and sustained investigation into the algebraic and semantic foundations of logic, particularly through semiring semantics. His work applies logical methods to database theory, verification, and game theory, focusing on how information and strategies can be tracked and analyzed via algebraic structures. Topics include provenance in infinite structures, locality theorems, zero-one laws, and logical characterizations of computational phenomena.
Erich Grädel has held significant editorial responsibilities in the logic community:
- Editor, Logical Methods in Computer Science (since 2004)
- Editor, Mathematical Logic Quarterly (since 2012)
- Editorial Board Member (Corner Editor for Logic and Games), Journal of Logic and Computation (since 2007)
- Editor, Journal of Symbolic Logic (2008–2013)
He chaired the European GAMES Research-Training Network (2002–2013) and has co-edited five books, including Lectures in Game Theory for Computer Scientists (Cambridge University Press, 2011). He has advised numerous PhD students, including Faried Abu Zaid, Łukasz Kaiser, and Wied Pakusa. His research group has included long-term collaborators and former members such as Dietmar Berwanger, Martin Otto, and Richard Wilke. He has received no explicitly listed scientific awards in the provided text, but his sustained editorial roles and leadership in major research networks indicate high recognition in the field.
His research group, associated with the Mathematical Foundations of Informatik, has been active for decades, with current members including Sophie Brinke and former members forming a substantial list of researchers in logic and theoretical computer science. The group has contributed significantly to algorithmic model theory, automata, and logic games.
