Toghrul Karimov
Scholar

Toghrul Karimov

Google Scholar ID: sgv9RxcAAAAJ
Max Planck Institute for Software Systems
Formal Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
168
 
H-index
8
 
i10-index
7
 
Publications
20
 
Co-authors
8
list available
Contact
CVOpen ↗
Publications
2 items
Quantization Robustness to Input Degradations for Object Detection
2025
Cited
0
Automata on $S$-adic words
2025
Cited
0
Resume (English only)
Academic Achievements
  • - Published multiple papers, including 'Automata on self-similar words', 'Algorithmic applications of Schanuel's conjecture', etc.
  • - Received several awards, such as the ACM SIGBED Best Paper Award and Distinguished Paper Award at LICS 2024.
Research Experience
  • - Postdoctoral researcher at MPI-SWS and IRIF since April 1, 2025, working with Valérie Berthé on decision problems
Education
  • - Doctoral degree, Saarland University and MPI-SWS, 2024
  • - Bachelor's and Master's degrees, University of Oxford, 2019
Background
  • Research interests: the intersection of dynamical systems theory, logic, and number theory. Currently working on the ERC Synergy Grant 'DynAMiCs' project.
Co-authors
8 total
Joel Ouaknine
Joel Ouaknine
Director, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
James Worrell
James Worrell
Professor of Computer Science, Oxford University
Joris Nieuwveld
Joris Nieuwveld
Max Planck Institute for Software Systems
Co-author 4
Co-author 4
Christel Baier
Christel Baier
TU Dresden
Rupak Majumdar
Rupak Majumdar
MPI for Software Systems
Valerie Berthe
Valerie Berthe
IRIF, CNRS
Florian Luca
Florian Luca
Professor, Stellenbosch University