Der emeritierte Informatik-Professor Reinhard Wilhelm von der Universität des Saarlandes ist mit dem ACM SIGBED Technical Achievement Award 2025 ausgezeichnet worden. Die hohe Ehrung würdigt Wilhelms grundlegende und bahnbrechende Arbeiten zur Worst-Case-Execution-Time-Analyse (WCET), zur Timing-Vorhersagbarkeit sowie zur statischen Programmanalyse in eingebetteten und cyber-physikalischen Systemen.
Mit seiner Forschung legte Reinhard Wilhelm die theoretischen und praktischen Grundlagen, um sichere Obergrenzen für die Ausführungszeiten von Aufgaben in sicherheitskritischen Echtzeitsystemen abschätzen zu können. Ohne diese Fähigkeit, so die Laudatoren zur Preisverleihung, wäre die Planung und Zertifizierung dieser Systeme nicht möglich.
Der Preis wird von der ACM-Fachgruppe SIGBED vergeben und zählt zu den renommiertesten Auszeichnungen im Bereich der eingebetteten Systeme. ACM SIGBED steht für die Fachgruppe "Embedded Systems" innerhalb der weltweit größten Fachgesellschaft für Informatik, der US-amerikanischen Association für Computing Machinery (ACM).
Reinhard Wilhelm prägte die Informatik über Jahrzehnte. Mit der Auszeichnung würdigt die ACM-SIGBED seine wegweisenden Beiträge zu Innovationen.
Von 1978 bis 2014 hatte der Informatiker den Lehrstuhl für Programmiersprachen und Übersetzerbau an der Universität des Saarlandes inne und trug maßgeblich zur Weiterentwicklung von Programmiersprachen, Compilertechnologie, statischer Programmanalyse und Echtzeitsystemen bei. Von 1990 bis 2014 leitete er als Gründungsdirektor das Leibniz-Zentrum für Informatik (Schloss Dagstuhl).
Weitere Informationen:
https://sigbed.org/2025/11/25/sigbed-early-career-award-2025-announcement/
Foto: Raphael Reischuk