Toghrul Karimov

Max Planck Institute for Software Systems
Campus E1 5
Saarbrücken, Germany

About me

Since 2019, I am a PhD student at MPI-SWS working with Joël Ouaknine on problems about verification of linear dynamical systems. Prior to that, I was an undergraduate studying Computer Science at University of Oxford. Here is my CV.