Toghrul Karimov

Max Planck Institute for Software Systems
Campus E1 5
Saarbrücken, Germany
toghs@mpi-sws.org

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.

Publications