Doppelte internationale Ehrung für Saarbrücker Max-Planck-Direktor

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 er auf der 2025er Auflage des „Symposium on Principles of Programming Languages“ (POPL) gemeinsam mit Kollegen den „Most-Influential-Paper-Award“ für ein wegweisendes Paper aus dem Jahr 2015 erhalten.

Mit dem Fellow-Status ehrt die Association for Computing Machinery das eine Prozent seiner Mitglieder, das die herausragendsten Leistungen in der Computer- und Informationstechnologie erbracht, oder sich in besonderer Weise um die ACM und die Informatik-Gemeinschaft im Allgemeinen verdient gemacht hat. Laut eigenen Angaben verzeichnet die ACM weltweit mittlerweile mehr als 100.000 Mitglieder. Für das Jahr 2024 wurden weltweit 55 Wissenschaftlerinnen und Wissenschaftler in den Rang der Fellows erhoben, darunter 13 aus Europa. Derek Dreyer wurde für „seine Beiträge zu den logischen und semantischen Grundlagen von Programmiersprachen“ geehrt, wie es in der Begründung der ACM heißt.

Den „ACM SIGPLAN Most Influential POPL Paper Award“ erhält Derek Dreyer gemeinsam mit mehreren Kollegen, darunter die MPI-SWS Alumni Ralf Jung, David Swasey und Aaron Turon, für das Paper „Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning“. Diese jährlich vergebene Auszeichnung ehrt Arbeiten, die die Theorie und Praxis der Programmiersprachen nachhaltig geprägt haben. In dem Papier haben die Forschenden mit „Iris“ ein mathematisches Framework zur formalen Verifikation von nebenläufigen Programmen entwickelt. Inzwischen hat sich Iris als weit verbreitetes Werkzeug in den Bereichen der Programmsemantik und -verifikation etabliert.

„Ich fühle mich zutiefst geehrt, diese renommierten Auszeichnungen zu erhalten. Sie stehen für die hervorragende Forschungskultur in der Max-Planck-Gesellschaft und der Universität des Saarlandes sowie für die großartige Arbeit meiner Studenten und Kollegen, die einen grundlegenden Beitrag zum Erfolg von Iris geleistet haben.“, sagt Derek Dreyer.

Seit 2008 ist Dreyer am Max-Planck-Institut für Softwaresysteme tätig, seit 2022 ist er wissenschaftlicher Direktor. Derzeit fungiert er zudem als geschäftsführender Direktor des Instituts, das Standorte in Saarbrücken und Kaiserslautern unterhält.

Weitere Informationen
https://www.acm.org/media-center/2025/january/fellows-2024
Ausgezeichnetes Paper: https://dl.acm.org/doi/10.1145/2775051.2676980

Wissenschaftlicher Ansprechpartner (auf Englisch):
Prof. Dr. Derek Dreyer
Wissenschaftlicher Direktor Max-Planck-Institut für Softwaresystem
E-Mail: dreyer@mpi-sws.org

Redaktion:
Philipp Zapf-Schramm
Max-Planck-Institut für Informatik
Tel: +49681 9325 4509
E-Mail: pzs@mpi-inf.mpg.de