Reinhard Wilhelm - Reinhard Wilhelm
Reinhard Wilhelm | |
---|---|
Reinhard Wilhelm, 2014 | |
narozený | |
Alma mater | University of Münster, Stanfordská Univerzita, Technická univerzita v Mnichově |
Známý jako | technologie kompilátoru |
Ocenění | Medaile Konrada Zuse (2009) Záslužný kříž na stuze (2010) Cena ACM Distinguished Service Award (2011) |
Vědecká kariéra | |
Pole | Počítačový vědec |
Instituce | Sárská univerzita |
Reinhard Wilhelm (narozen 5. června 1946) je německý počítačový vědec.
Život a dílo
Wilhelm se narodil v roce Deutmecke , dnes součást obce Finnentrop, Vestfálsko. Studoval matematiku, fyziku a matematickou logiku na University of Münster and computer science ve společnosti Technická univerzita v Mnichově a Stanfordská Univerzita. Doktorát dokončil na TU v Mnichově v roce 1977. V roce 1978 získal profesorský titul na Sárská univerzita, kde vedl židli pro programovací jazyky a konstrukci překladačů až do svého odchodu do důchodu v roce 2014. Kromě toho Wilhelm zastával post vědeckého ředitele Leibnizovo centrum pro informatiku na Schloss Dagstuhl od svého vzniku v roce 1990 do roku 2014. Dnes je emeritním profesorem na Sárské univerzitě.
Wilhelm je jedním ze spoluzakladatelů Evropského symposia o programování (ESOP) a Evropských společných konferencí o teorii a praxi softwaru (ETAPS). Evropská asociace pro programovací jazyky (EAPLS) se vrací ke své myšlence založit organizaci pro pokrokový výzkum programovacích jazyků a programovacích systémů.[1] V roce 1998 založil Abs, a výzkum spin-off která nabízí software pro ověřování časově kritických vlastností vestavěných systémů, který se používá například pro certifikaci časově kritických systémů uvnitř Airbus A380.[2]
Wilhelmův výzkum se zaměřuje na programovací jazyky, konstrukci překladačů, statickou analýzu programu a vestavěné systémy v reálném čase, ale zahrnuje také animaci a vizualizaci algoritmů a datových struktur. Wilhelm objevil souvislosti mezi výběrem kódu a teorií běžných automatů na stromy, což je relevantní pro generování kódu pomocí automatů na stromy. Je jedním z vývojářů generátorů překladačů MUG1, MUG2 a OPTRAN, které jsou založeny na atributové gramatiky. Spolu s Ulrichem Mönckem navrhl gramatická analýza toku jako zobecnění meziprocedurální analýzy toku dat. Vynalezl populární tvarovou analýzu založenou na tříhodnotová logika dohromady s Mooly Sagiv a Tom Reps.
Wilhelm je spoluautorem knihy Konstrukce kompilátoru, který učí překladače nejen pro imperativní jazyky, ale také pro objektově orientované, funkční a logické a zdůrazňuje teoretické základy. Je k dispozici také v němčině a francouzštině.
Wilhelm se stal členem ACM v roce 2000 za výzkum konstrukce překladačů a programovou analýzu a za práci vědeckého ředitele LZI.[3] The TU Darmstadt a Fraunhofer-Institut für Graphische Datenverarbeitung mu udělil Medaile Alwin-Walther v roce 2006. V roce 2007 mu francouzské ministerstvo školství a výzkumu udělilo Cena Gay-Lussac-Humboldt za přínos vědě a úspěchy v německo-francouzské spolupráci ve výzkumu a vzdělávání.[4] Stal se členem Evropské akademie věd (Academia Europaea ) v roce 2008.[5] Října téhož roku mu byl udělen čestný doktorát RWTH Cáchy.[6] V prosinci získal čestný titul Univerzita v Tartu.[7] V září 2009 mu byla udělena Medaile Konrada Zuse za úspěchy ve výzkumu a vzdělávání s ohledem na konstrukci překladačů, analýzu programů v reálném čase a jeho služby vědeckého ředitele LZI / Schloss Dagstuhl.[8] V roce 2010 mu byl udělen kříž Kříž Řád za zásluhy Spolkové republiky Německo a Cena ACM za vynikající služby.[9] Ocenění Test-of-Time získal na mezinárodní konferenci ESWEEK 2019 za dlouhodobý dopad svého výzkumu na hranice doby provedení.[10] V roce 2020 mu technický výbor IEEE pro systémy v reálném čase udělil cenu za vynikající technické úspěchy a vedoucí postavení.[11]
Seznam knih
- Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Základy programovacích jazyků 1989
- Reinhard Wilhelm: Informatika - 10 let zpět. 10 let dopředu. Springer 2001
- Reinhard Wilhelm, Helmut Seidl: Návrh kompilátoru: Virtuální stroje, Springer 2011
- Helmut Seidl, Reinhard Wilhelm, Sebastian Hack: Návrh kompilátoru: Analýza a transformace, Springer 2011
- Helmut Seidl, Reinhard Wilhelm, Sebastian Hack: Návrh kompilátoru: syntaktická a sémantická analýza, Springer 2011
- Reinhard Wilhelm: Einsichten eines Informatikers von geringem Verstande - Glossen aus dem Informatik Spektrum. Springer Fachmedien, Wiesbaden 2020, ISBN 978-3-658-28385-8.
Literatura
- Thomas Reps, Mooly Sagiv, Jörg Bauer: Ocenění díla Reinharda Wilhelma. Analýza a kompilace programu, teorie a praxe (Springer, 2007), Lecture Notes in Computer Science Volume 4444.
Reference
- ^ „EAPLS: Co je EAPLS“.
- ^ „AbsInt-Firmenprofil“.
- ^ „O ACM Fellows“. awards.acm.org. Citováno 14. listopadu 2019.
- ^ https://web.archive.org/web/20090321212025/http://www.uni-saarland.de/de/medien/2007/01/1170067449
- ^ „Zwei Saarbrücker Informatiker in Academia Europaea aufgenommen“.
- ^ „RWTH AACHEN UNIVERSITY - Rheinisch-Westfaelische Technische Hochschule - anglicky“.
- ^ „89. výročí UT jako univerzity v estonském jazyce“. Prosinec 2008.
- ^ „Reinhard Wilhelm aus Saarbrücken erhält Konrad-Zuse-Medaille - Höchste Informatik-Auszeichnung wird in Lübeck verliehen“. idw-online.de. Citováno 14. listopadu 2019.
- ^ „Archivovaná kopie“. Archivovány od originál dne 02.04.2012. Citováno 2011-09-29.CS1 maint: archivovaná kopie jako titul (odkaz)
- ^ Zeitung, Saarbrücker. „Saar-Universität: Internationaler Preis für Informatiker“. Saarbrücker Zeitung. Citováno 14. listopadu 2019.
- ^ https://site.ieee.org/tcrts/2020/04/30/tcrts-2020-outstanding-technical-achievement-and-leadership-award/