Toghrul Karimov erhält den Ackermann Award 2025

Toghrul Karimov, Doktorand in der Forschungsgruppe „Foundations of Automatic Verification“ unter der Leitung von Joël Ouaknine, hat den 2025 Ackermann Award für seine Dissertation mit dem Titel „Algorithmic Verification of Linear Dynamical Systems“ erhalten.

Der Ackermann Award ist ein internationaler Preis, der jährlich für eine herausragende Dissertation auf dem Gebiet der Logik in der Informatik (Computer Science Logic) verliehen wird.

Während Toghrul der erste Student des MPI-SWS ist, dem diese Auszeichnung zuteilwird, zählen auch Amaury Pouly (ehemaliger Postdoc am MPI-SWS, heute am CNRS) und Sandra Kiefer (ehemalige Forschungsgruppenleiterin am MPI-SWS, heute Professorin in Oxford) zu den früheren Preisträgern des Instituts.