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…
MPI-SWS faculty member Peter Druschel has received the 2025 IEEE TCDP Outstanding Technical Achievement Award for his pioneering contributions to the design and implementation of large-scale distributed systems. For more information on the award and other recent recipients, see here.
MPI-SWS-Fakultätsmitglied Derek Dreyer und seine Forschungspartner erzielten in diesem Jahr eine herausragende Präsenz auf den führenden Konferenzen im Bereich Programmiersprachen. Sie erhielten Distinguished Paper Awards für zwei Beiträge auf der PLDI 2025 und einen Beitrag auf der POPL 2025. Auf der diesjährigen PLDI wurden nur 6 von 89 angenommenen Beiträgen…
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.
Forschungstage fördern den wissenschaftlichen Nachwuchs mit Vorträgen, Workshops und Einblicken in die aktuelle Informatikforschung. Vom 25. bis 27. Juni 2025 ist Saarbrücken wieder ein Zentrum für junge Informatikbegeisterte aus ganz Deutschland. Bereits seit 2008 bieten die Saarbrücker Forschungstage ausgewählten Schülerinnen und Schülern die Gelegenheit, tiefer in die Welt der Informatik…
