Thomas Zeume

Thomas Zeume is a Professor for Logic and Formal Verification at Ruhr University Bochum since 2020. Previously, he served as a Scientific Assistant at TU Dortmund's Faculty of Computer Science from 2009 to 2020. His work bridges computational logic with database theory, complexity theory, and formal verification, while also innovating in educational technologies for formal foundations of computer science.

Research Focus:

• Dynamic Complexity Theory: Classifying logical query languages for evolving databases.
• Formal Verification: Designing logics for software/hardware verification and XML/graph databases.
• Educational Technologies: Developing the Iltis system for interactive learning in formal logic and computational reductions.

Publications and Contributions: His research spans dynamic complexity, two-variable logic, and CS education tools, with key works in Journal of the ACM, LICS, and SIGCSE TS.