Max Planck Institute for Software Systems
Campus E1 5
toghs@mpi<insert minus sign>sws.org
Since 2019, I am a PhD student at MPI-SWS working with Joël Ouaknine on problems in verification of linear dynamical systems. Prior to that, I was an undergraduate studying Computer Science at University of Oxford. Here is my cv and dblp entry.
J. D'Costa, T. Karimov, R. Majumdar, J. Ouaknine, M. Salamati and J. Worrell.
T. Karimov, E. Kelmendi, J. Ouaknine and J. Worrell.
The orbit problem for parametric linear dynamical systems.
C. Baier, F. Funke, S. Jantsch, T. Karimov, E. Lefaucheux, F. Luca, J. Ouaknine, D. Purser, M. Whiteland, and J. Worrell.
Proc. of CONCUR 21, LIPIcs 203.