Toghrul Karimov

Toghrul Karimov is a postdoctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany, working on the ERC Synergy Grant “DynAMiCs” since April 1, 2025. He collaborates with Valérie Berthé on decision problems at the intersection of dynamical systems theory, logic, and number theory.

His educational background includes:

• Bachelor’s and Master’s degrees from the University of Oxford (2019)
• Doctoral degree from Saarland University and MPI-SWS (2024)

Dr. Karimov’s research focuses on the algorithmic analysis of linear dynamical systems, with emphasis on decidability, verification, and computational complexity. His work bridges theoretical computer science with mathematical logic and number theory, particularly investigating reachability problems, linear recurrence sequences, and the application of o-minimal structures to verification. He employs techniques from automata theory and model theory to solve long-standing problems in the field.

His publication record demonstrates consistent contributions to top-tier venues including LICS, ICALP, and SODA, with a clear trajectory toward resolving fundamental questions in dynamical systems verification. Recent work shows increasing sophistication in handling parametric systems and probabilistic extensions, while maintaining strong connections to number-theoretic foundations.

His scientific recognition includes:

• Distinguished Paper Award at LICS 2024
• ACM SIGBED Best Paper Award at HSCC 2024

Currently supported by the ERC Synergy Grant “DynAMiCs”, Dr. Karimov maintains an active collaborative research program without current student supervision. His work involves frequent co-authorship with leading researchers across MPI-SWS and IRIF, reflecting the highly interdisciplinary nature of his investigations.

He contributes to MPI-SWS’s theoretical computer science research cluster, focusing on the mathematical foundations of software systems verification through the lens of dynamical systems and logic.