Quantcast
peoplepill id: reinhard-wilhelm
RW
1 views today
2 views this week
Reinhard Wilhelm

Reinhard Wilhelm

German computer scientist
Reinhard Wilhelm
The basics

Quick Facts

Intro German computer scientist
Is Computer scientist Professor Educator
From Germany
Type Academia Technology Science
Gender male
Birth 5 June 1946, Finnentrop, Germany
Age: 74 years
Star sign GeminiGemini
The details

Biography

Reinhard Wilhelm (born June 5, 1946) is a German computer scientist.

Life and work

Wilhelm was born in Deutmecke [de], today part of the municipality of Finnentrop, Westphalia. He studied math, physics and mathematical logic at University of Münster and computer science at Technical University Munich and Stanford University. He finished his PhD at TU Munich in 1977. In 1978, he obtained a professorship at Saarland University, where he led the chair for programming languages and compiler construction until his retirement in 2014. In addition, Wilhelm has held the post of scientific director of the Leibniz Center for Informatics at Schloss Dagstuhl from its inception in 1990 until 2014. Today he is a professor emeritus at Saarland University.

Wilhelm is one of the co-founders of the European Symposium on Programming (ESOP) and the European Joint Conferences on Theory and Practice of Software (ETAPS). The European Association for Programming Languages (EAPLS) goes back to his idea to found an organization for advancing research on programming languages and programming systems. In 1998, he founded AbsInt, a research spin-off that offers software for verification of time-critical properties of embedded systems, used for example for certification of the time-critical systems inside the Airbus A380.

Wilhelm's research focuses on programming languages, compiler construction, static program analysis and embedded real time systems, but also includes animation and visualization of algorithms and data structures. Wilhelm discovered connections between code selection and the theory of regular tree automata, which is relevant for code generation using tree automata. He is one of the co-developers of the MUG1, MUG2 and OPTRAN compiler generators, which are based on attribute grammars. Together with Ulrich Möncke, he proposed grammar flow analysis as a generalization of interprocedural data flow analysis. He invented a popular shape analysis based on three-valued logic together with Mooly Sagiv and Tom Reps.

Wilhelm is co-author of the book Compiler Construction, which teaches not only compilers for imperative languages, but for object-oriented, functional and logical ones as well and stresses theoretical foundation. It is available in German and French, too.

Wilhelm became a fellow of the ACM in 2000 for his research on compiler construction and program analysis and his work as a scientific director of the LZI. The TU Darmstadt and the Fraunhofer-Institut für Graphische Datenverarbeitung [de] awarded him with the Alwin-Walther medal in 2006. In 2007 the French Ministry of Education and Research awarded him with the Gay-Lussac-Humboldt prize for his contributions to science and his achievements in German–French cooperation in research and education. He became a member of the European academy of sciences (Academia Europaea) in 2008. October of the same year he was awarded an honorary doctorate of the RWTH Aachen. In December, he obtained an honorary degree of Tartu University. In September 2009, he was awarded the Konrad Zuse Medal for his achievements in research and education with respect to compiler construction, real time analysis of programs and his service as scientific director of the LZI/Schloss Dagstuhl. In 2010 he was awarded the Cross of the Order of Merit of the Federal Republic of Germany and the ACM Distinguished Service Award. He received the Test-of-Time award at the international conference ESWEEK 2019 for the long term impact of his research on execution time bounds.

List of books

  • Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Foundations of Programming Languages 1989
  • Reinhard Wilhelm: Informatics - 10 Years Back. 10 Years Ahead. Springer 2001
  • Reinhard Wilhelm, Helmut Seidl: Compiler Design: Virtual Machines, Springer 2011
  • Helmut Seidl, Reinhard Wilhelm, Sebastian Hack: Compiler Design: Analysis and Transformation, Springer 2011
  • Helmut Seidl, Reinhard Wilhelm, Sebastian Hack: Compiler Design: Syntactic and Semantic Analysis, Springer 2011

Literature

The contents of this page are sourced from Wikipedia article on 10 Mar 2020. The contents are available under the CC BY-SA 4.0 license.
comments so far.
Comments
Reference sources
References
http://www.eapls.org/pages/topic_00_what_is_eapls/
http://www.absint.com/press/profil.htm
https://awards.acm.org/fellows
http://www.uni-saarland.de/de/medien/2007/01/1170067449
http://idw-online.de/pages/de/news258801
http://www.rwth-aachen.de/aw/main/deutsch/Themen/Einrichtungen/Verwaltung/dezernat3/Pressemitteilungen_der_RWTH/2008/~teg/rwth_ehrendoktorwuerde_fuer_zwei_informati/
http://www.ut.ee/451372
https://idw-online.de/de/news332189
https://web.archive.org/web/20120402205624/http://awards.acm.org/citation.cfm?id=1243443&srt=all&aw=144&ao=DISTGSVC&yr=2010
http://awards.acm.org/citation.cfm?id=1243443&srt=all&aw=144&ao=DISTGSVC&yr=2010
https://www.saarbruecker-zeitung.de/saarland/hochschule/saar-informatiker-erhalten-den-test-of-time-award-in-new-york_aid-46655833
arrow-left arrow-right arrow-up arrow-down instagram whatsapp myspace quora soundcloud spotify tumblr vk website youtube stumbleupon comments comments pandora gplay iheart tunein pandora gplay iheart tunein itunes