JOËL OUAKNINE ERHÄLT LICS TEST-OF-TIME AWARD

MPI-SWS-Fakultätsmitglied Joël Ouaknine wurde mit dem LICS Test-of-Time Award 2025 für seine 2005 erschienene Arbeit “On the Decidability of Metric Temporal Logic” ausgezeichnet. Die Forschung entstand in Zusammenarbeit mit Ben Worrell.