b. 1958
Erich Grädel is a contemporary German logician and computer scientist known for his work on mathematical logic, game theory, and finite model theory. His research bridges theoretical computer science and philosophical logic, particularly in the semantics of logical games and verification of infinite systems.
Foundational contributions to finite model theory and logical games
Research on fixed-point logics and their computational complexity
Work on the semantics of sequential and concurrent games
Co-authored influential texts on logic in computer science
Professor of Mathematical Foundations of Computer Science at RWTH Aachen