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…
Im Rahmen seiner kontinuierlichen Weiterentwicklung und thematischen Neuausrichtung organisierte das MPI-SWS ein Präsenzsymposium zu aktuellen und aufstrebenden Forschungsthemen im Bereich der Softwaresysteme. Zu dem Symposium wurden sechs führende Forscherinnen und Forscher aus aller Welt eingeladen: Natacha Crooks (UC Berkeley), Alexandra Silva (Cornell University), Maria Christakis (TU Wien), Stefanie Jegelka (TU…
Professor Derek Dreyer, wissenschaftlicher Direktor des Max-Planck-Instituts für Softwaresysteme. Foto: Oliver Dietze Professor Derek Dreyer, wissenschaftlicher Direktor am Max-Planck-Institut für Softwaresysteme (MPI-SWS), wurde für seine Forschung gleich zweifach international ausgezeichnet. Die Association for Computing Machinery (ACM), die weltweit größte wissenschaftliche Gesellschaft im Bereich Informatik, hat ihn zum „Fellow“ ernannt. Zudem hat…
