We’re proud to annouce that Toghrul Karimov has received the Ackermann Award, the EACSL Outstanding Dissertation Award for Logic in Computer Science for his PhD thesis “Algorithmic verification of linear dynamical systems”.

Toghrul has been a part of CPEC for multiple years. He is currently working in project A12, which researches verification and explication methods for dynamical, hybrid, and probabilistic systems.