Toghrul Karimov

About me

Since 1 April 2025, I have been a postdoctoral researcher within the ERC Synergy Grant “DynAMiCs” between the MPI-SWS and the IRIF, working with Valérie Berthé on decision problems lying at the intersection of dynamical systems theory, logic, and number theory. I received my doctoral degree from Saarland University and the MPI-SWS in 2024 (co-receiving the Ackermann Award 2025 for my dissertation), and my bachelor's and master's degrees from the University of Oxford in 2019. Here are my CV and dblp entry.

Publications

1. Automata on S-adic words. pdf doi
   V. Berthé, T. Karimov, and M. Vahanwala.
   Proc. of ICALP 2026.
2. Linear dynamical systems with weight functions. pdf
   R. Aghamov, C. Baier, T. Karimov, J. Ouaknine, and J. Piribauer.
   Nonlinear Analysis: Hybrid Systems, Vol. 60, 101680.
3. Algorithmic applications of Schanuel's conjecture. pdf
   T. Karimov, J. Nieuwveld, J. Ouaknine, M. Vahanwala, and J. Worrell.
   Principles of Formal Quantitative Analysis, 2025.
4. Model checking linear temporal logic with standpoint modalities. pdf doi
   R. Aghamov, C. Baier, T. Karimov, R. Majumdar, J. Ouaknine, J. Piribauer, and T. Spork.
   Proc. of KR 2025.
5. Multiple reachability in linear dynamical systems. pdf
   T. Karimov, E. Kelmendi, J. Ouaknine, and J. Worrell.
   Proc. of LICS 2025.
6. Verification of linear dynamical systems via o-minimality of the real numbers. pdf
   T. Karimov.
   Proc. of ICALP 2025, LIPIcs 334.
7. Model checking Markov chains as distribution transformers. pdf doi
   R. Aghamov, C. Baier, T. Karimov, J. Nieuwveld, J. Ouaknine, and M. Vahanwala.
   Principles of Verification: Cycling the Probabilistic Landscape, LNCS 15261.
8. On the decidability of Presburger arithmetic expanded with powers. pdf doi
   T. Karimov, F. Luca, J. Nieuwveld, J. Ouaknine, and J. Worrell.
   Proc. of SODA 2025.
9. On the decidability of monadic second-order logic with arithmetic predicates. pdf doi
   V. Berthé, T. Karimov, J. Nieuwveld, J. Ouaknine, M. Vahanwala, and J. Worrell.
   Proc. of LICS 2024. Distinguished Paper Award.
10. Algorithmic verification of linear dynamical systems. pdf doi
    PhD Thesis.
    Defended on 08.02.24.
11. The monadic theory of toric words. pdf doi
    V. Berthé, T. Karimov, J. Ouaknine, M. Vahanwala, and J. Worrell.
    Theoretical Computer Science 1025.
12. Linear dynamical systems with continuous weight functions. pdf doi
    R. Aghamov, C. Baier, T. Karimov, J. Ouaknine, and J. Piribauer.
    Proc. of HSCC 2024. ACM SIGBED Best Paper Award.
13. The power of Positivity. pdf doi
    T. Karimov, E. Kelmendi, J. Nieuwveld, J. Ouaknine, and J. Worrell.
    Proc. of LICS 2023.
14. What's decidable about linear dynamical systems? pdf doi
    T. Karimov, E. Kelmendi, J. Ouaknine, and J. Worrell.
    Principles of Systems Design—Thomas A. Henzinger Festschrift, LNCS 13660, 2022.
15. Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications. pdf doi
    C. Baier, F. Funke, S. Jantsch, T. Karimov, E. Lefaucheux, J. Ouaknine, D. Purser, M. Whiteland, and J. Worrell.
    Proc. of CONCUR 2022, LIPIcs 243.
16. The pseudo-reachability problem for diagonalisable linear dynamical systems. pdf doi
    J. D'Costa, T. Karimov, R. Majumdar, J. Ouaknine, M. Salamati, and J. Worrell.
    Proc. of MFCS 2022, LIPIcs 241.
17. What's decidable about linear loops? pdf doi
    T. Karimov, E. Lefaucheux, J. Ouaknine, D. Purser, A. Varonka, M. Whiteland, and J. Worrell.
    POPL 2022, Proc. of the ACM on Programming Languages, Volume 6.
18. The orbit problem for parametric linear dynamical systems. pdf doi
    C. Baier, F. Funke, S. Jantsch, T. Karimov, E. Lefaucheux, F. Luca, J. Ouaknine, D. Purser, M. Whiteland, and J. Worrell.
    Proc. of CONCUR 2021, LIPIcs 203.
19. The pseudo-Skolem problem is decidable. pdf doi
    J. D'Costa, T. Karimov, R. Majumdar, J. Ouaknine, M. Salamati, S. Soudjani, and J. Worrell.
    Proc. of MFCS 2021, LIPIcs 202.
20. Deciding ω-regular properties on linear recurrence sequences. pdf doi
    S. Almagor, T. Karimov, E. Kelmendi, J. Ouaknine, and J. Worrell.
    POPL 2021, Proc. of the ACM on Programming Languages, Volume 5.
21. Reachability in dynamical systems with rounding. pdf doi
    C. Baier, F. Funke, S. Jantsch, T. Karimov, E. Lefaucheux, J. Ouaknine, A. Pouly, D. Purser, and M. Whiteland.
    Proc. of FSTTCS 2020, LIPIcs 182.
22. On LTL model checking for low-dimensional discrete linear dynamical systems. pdf doi
    T. Karimov, J. Ouaknine, and J. Worrell.
    Proc. of MFCS 2020, LIPIcs 170.