imported>Rtc: /* Auszeichnungen */

2025-11-26T07:16:44Z

Auszeichnungen

Neue Seite

[[Datei:Reinhard Wilhelm.jpg|mini|Reinhard Wilhelm, 2014]]
'''Reinhard Wilhelm''' (* [[5. Juni]] [[1946]]<ref>https://www.leopoldina.org/fileadmin/redaktion/Mitglieder/CV_Wilhelm_Reinhard_D.pdf</ref> in [[Deutmecke (Finnentrop)|Deutmecke]], [[Westfalen]]) ist ein deutscher Informatiker.

== Leben und Wirken ==
Wilhelm studierte von 1965 bis 1972 Mathematik, Physik und [[Mathematische Logik]] an der [[Westfälische Wilhelms-Universität|Westfälischen Wilhelms-Universität]] in Münster sowie Informatik an der [[Technische Universität München|TU München]] und der [[Stanford University]]. 1977 schloss er seine Promotion an der TU München unter [[Jürgen Eickel]] ab. Seit 1978 ist er als Informatikprofessor an der [[Universität des Saarlandes]] tätig, wo er bis 2014 den Lehrstuhl für [[Programmiersprache]]n und [[Übersetzerbau]] innehatte. Seit der Einrichtung 1990 bis 2014 leitete Wilhelm gleichzeitig das im [[Schloss Dagstuhl]] beheimatete [[Leibniz-Zentrum für Informatik]] (LZI, vormals Internationales Begegnungs- und Forschungszentrum für Informatik, IBFI) als wissenschaftlicher Direktor.<ref>{{cite web|url=https://www.dagstuhl.de/ueber-dagstuhl/aktuelles/detail/meldung/524/|title=Schloss Dagstuhl : Internationally renowned informatics center names new Scientific Director|first=Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 66687|last=Wadern|website=www.dagstuhl.de}}</ref>

Wilhelm ist ein Mitbegründer des European Symposium on Programming (ESOP) und der European Joint Conferences on Theory and Practice of Software (ETAPS). Auf ihn geht die Idee einer Organisation zur Förderung der Forschung auf dem Gebiet der Programmiersprachen und -systeme zurück, die zur Gründung der European Association for Programming Languages (EAPLS) führte.<ref>{{cite web|url=https://eapls.org/pages/topic_00_what_is_eapls/|title=EAPLS: What is EAPLS|website=eapls.org}}</ref> 1998 gründete er gemeinsam mit Mitarbeitern seines Lehrstuhls den [[Ableger (Wirtschaft)|Ableger]] [[AbsInt (Unternehmen)|AbsInt]]. AbsInt bietet Softwarequalitätssicherungswerkzeuge an, unter anderem aiT zur Verifikation von Echtzeiteigenschaften und Astrée, entwickelt unter Leitung von [[Patrick Cousot]] und [[Radhia Cousot]], zum Nachweis der Abwesenheit von Laufzeitfehlern.<ref>{{cite web|url=https://www.absint.com/profile_de.htm|title=AbsInt-Firmenprofil|first=|last= |website=www.absint.com}}</ref> aiT wurde bei der Zertifizierung von zeitkritischen Teilsystemen der Airbus-Flugzeuge [[Airbus A380|A380]] und A350 eingesetzt.

Die Forschungsschwerpunkte Wilhelms umfassen Programmiersprachen, Übersetzerbau, statische Programmanalyse, eingebettete Echtzeitsysteme und die Animation und Visualisierung von Algorithmen und Datenstrukturen. Wilhelm wirkte bei der Entwicklung von MUG1, MUG2 und OPTRAN mit. Dies sind Übersetzergeneratoren, die auf Attributgrammatiken aufbauen. Zusammen mit Ulrich Möncke schlug er mit der Grammatikflussanalyse eine Verallgemeinerung der interprozeduralen Datenflussanalyse vor. Gemeinsam mit [[Shmuel Sagiv|Mooly Sagiv]] und [[Thomas W. Reps|Tom Reps]] entwarf er eine Shapeanalyse basierend auf dreiwertiger Logik. Er entdeckte Zusammenhänge zwischen Codeselektion und der Theorie der regulären Baumsprachen, die für die Codeerzeugung mittels Baumautomaten von Bedeutung sind.

Wilhelm ist einer der Autoren des Lehrbuchs ''Übersetzerbau'', das neben der Übersetzung imperativer auch die objektorientierter, funktionaler und logischer Programmiersprachen behandelt und einen besonderen Schwerpunkt auf theoretische Fundierung legt. Es wurde ins Englische und Französische übersetzt.

== Auszeichnungen ==
Die [[Association for Computing Machinery|ACM]] ehrte Reinhard Wilhelm 2000 als ''ACM-Fellow'' für seine Leistungen in den Gebieten Übersetzerbau und Programmanalyse sowie für seinen Dienst als wissenschaftlicher Direktor des LZI.<ref>{{Webarchiv|url=http://fellows.acm.org/fellow_citation.cfm?id=1243443&srt=all |wayback=20071214182759 |text=Archivierte Kopie |archiv-bot=2019-05-09 17:33:00 InternetArchiveBot }}</ref> Die [[TU Darmstadt]] und das [[Fraunhofer-Institut für Graphische Datenverarbeitung]] zeichneten ihn 2006 mit der [[Alwin-Walther Medaille]] aus. 2007 verlieh ihm das französische Ministerium für Bildung und Forschung den [[Gay-Lussac-Humboldt-Preis]] für seine Beiträge zur Wissenschaft sowie seine Verdienste in der deutsch-französischen Kooperation in Forschung und Lehre.<ref>https://web.archive.org/web/20090321212025/http://www.uni-saarland.de/de/medien/2007/01/1170067449</ref> 2008 nahm ihn die [[Academia Europaea]] als ordentliches Mitglied auf.<ref>{{cite web|url=https://idw-online.de/de/news258801|title=Zwei Saarbrücker Informatiker in Academia Europaea aufgenommen|website=idw-online.de}}</ref> Im Oktober des gleichen Jahres zeichnete ihn die RWTH Aachen mit der Ehrendoktorwürde aus.<ref>{{Webarchiv|url=http://www.rwth-aachen.de/go/id/do/ |wayback=20081102012826 |text=Archivierte Kopie |archiv-bot=2019-05-09 17:33:00 InternetArchiveBot }}</ref> Im Dezember erhielt er die Ehrendoktorwürde der [[Universität Tartu]].<ref>{{cite web|url=https://www.ut.ee/en/89th-anniversary-ut-estonian-language-university|title=89th Anniversary of UT as an Estonian-Language University|date=2008-12-01|website=www.ut.ee}}</ref> Am 30. September 2009 wurde er mit der [[Konrad-Zuse-Medaille für Verdienste um die Informatik|Konrad-Zuse-Medaille]] für Verdienste in Forschung und Lehre auf dem Gebiet des Übersetzerbaus und der Echtzeitanalyse von Programmen sowie für seine Tätigkeit als wissenschaftlicher Direktor des Leibniz-Zentrums für Informatik, Schloss Dagstuhl geehrt.<ref>[http://idw-online.de/pages/de/news332189 Pressemeldung Informationsdienst Wissenschaft vom 7. September 2009 09:42], abgerufen am 8. September 2009</ref> 2010 wurde er mit dem [[Verdienstorden der Bundesrepublik Deutschland|Verdienstkreuz am Bande]] der Bundesrepublik Deutschland sowie mit dem ''ACM Distinguished Service Award''<ref>{{Webarchiv|url=http://awards.acm.org/citation.cfm?id=1243443&srt=all&aw=144&ao=DISTGSVC&yr=2010 |wayback=20120402205624 |text=Archivierte Kopie |archiv-bot=2019-05-09 17:33:00 InternetArchiveBot }}</ref> ausgezeichnet. 2013 wurde er in die [[Leopoldina]] gewählt.<ref>{{Leopoldina|7709|IDName=reinhard-wilhelm|Name=Prof. Dr. Reinhard Wilhelm|Kommentar=mit Bild und CV|Datum=06. Juni 2016}}</ref> Auf der internationalen Konferenz für eingebettete Software ''ESWEEK 2019'' erhielt er den Test-of-Time Award für den nachhaltigen Einfluss seiner Forschung über Laufzeitschranken.<ref>{{cite web|url=https://www.saarbruecker-zeitung.de/saarland/hochschule/saar-informatiker-erhalten-den-test-of-time-award-in-new-york_aid-46655833|title=Saar-Universität: Internationaler Preis für Informatiker|first=Saarbrücker|last=Zeitung|website=Saarbrücker Zeitung}}</ref> 2020 zeichnete ihn das IEEE Technical Committee on Real Time Systems als ersten Preisträger aus Deutschland mit ihrem Outstanding Technical Achievement and Leadership Award aus.<ref>{{Webarchiv|url=https://site.ieee.org/tcrts/2020/04/30/tcrts-2020-outstanding-technical-achievement-and-leadership-award/ |wayback=20210430070307 |text=Archivierte Kopie |archiv-bot=2024-04-24 18:10:04 InternetArchiveBot }}</ref> 2021 erhielt er für den Artikel "The influence of processor architecture on the design and the results of WCET tools" den Test-of-Time Award des IEEE Technical Committee on Real-Time Systems (TCRTS).<ref>https://saarland-informatics-campus.de/en/piece-of-news/tcrts-test-of-time/</ref> 2025 wurde er für seine Arbeiten auf den Gebieten der WCET-Analyse, Timing-Vorhersagbarkeit und statischer Programmanalyse in eingebetteten und cyber-physischen Systemen mit dem ACM SIGBED Technical Achievement Award ausgezeichnet.<ref>https://sigbed.org/2025/11/25/sigbed-early-career-award-2025-announcement/</ref>

== Schriften ==
* [[Jacques Loeckx]], [[Kurt Mehlhorn]], Reinhard Wilhelm: ''Foundations of Programming Languages.'' 1989.
* Reinhard Wilhelm, Dieter Maurer: ''Übersetzerbau. Theorie, Konstruktion, Generierung.'' 2. Auflage. Springer, Berlin u. a. 1997, ISBN 3-540-61692-6.
* Reinhard Wilhelm: ''Informatics – 10 Years Back. 10 Years Ahead.'' Springer 2001.
* Reinhard Wilhelm, Helmut Seidl: ''Übersetzerbau – Virtuelle Maschinen.'' Springer 2007.
* Helmut Seidl, Reinhard Wilhelm, Sebastian Hack: ''Übersetzerbau – Analyse und Transformation.'' Springer 2010.
* Reinhard Wilhelm: ''Einsichten eines Informatikers von geringem Verstande – Glossen aus dem Informatik Spektrum.'' Springer Fachmedien, Wiesbaden 2020, ISBN 978-3-658-28385-8.
* Reinhard Wilhelm: ''Von Autopiloten, Taliban und dem Friedrichstadtpalast: Neue Einsichten eines Informatikers von geringem Verstande.'' Independently published, ISBN 979-8820142680.

== Literatur ==
* Thomas Reps, Mooly Sagiv, Jörg Bauer: [http://wayback.archive.org/web/20120308073500/http://www.model.in.tum.de/~joba/appreciation.pdf An Appreciation of the Work of Reinhard Wilhelm] (PDF; 39 kB). ''Program Analysis and Compilation, Theory and Practice'' (Springer, 2007), Lecture Notes in Computer Science Band 4444.

== Weblinks ==
* {{DNB-Portal|133085082}}
* [http://www.rw.cdl.uni-saarland.de/people/wilhelm.shtml Internetseite von Reinhard Wilhelm]
* [http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Reinhard_Wilhelm/ Summer-School-Vortrag von Reinhard Wilhelm über Echtzeitanalyse]
* [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wilhelm:Reinhard.html Schriftenverzeichnis] (aus [[DBLP]])
* [https://www.genealogy.math.ndsu.nodak.edu/id.php?id=21745 Eintrag beim Mathematics Genealogy Project]

== Quellen ==
<references />

{{Normdaten|TYP=p|GND=133085082|LCCN=n/85/339180|VIAF=79109798}}

{{SORTIERUNG:Wilhelm, Reinhard}}
[[Kategorie:Informatiker]]
[[Kategorie:Hochschullehrer (Universität des Saarlandes, Saarbrücken)]]
[[Kategorie:Mitglied der Academia Europaea]]
[[Kategorie:Mitglied der Leopoldina (21. Jahrhundert)]]
[[Kategorie:Ehrendoktor der RWTH Aachen]]
[[Kategorie:Ehrendoktor der Universität Tartu]]
[[Kategorie:Träger des Bundesverdienstkreuzes am Bande]]
[[Kategorie:Deutscher]]
[[Kategorie:Geboren 1946]]
[[Kategorie:Mann]]
[[Kategorie:Absolvent der Technischen Universität München]]

{{Personendaten
|NAME=Wilhelm, Reinhard
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=deutscher Informatiker
|GEBURTSDATUM=5. Juni 1946
|GEBURTSORT=[[Deutmecke (Finnentrop)]], [[Westfalen]]
|STERBEDATUM=
|STERBEORT=
}}

Reinhard Wilhelm - Versionsgeschichte

imported>Rtc: /* Auszeichnungen */