Reinhard Wilhelm

from Wikipedia, the free encyclopedia
Reinhard Wilhelm, 2014

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

Live and act

Wilhelm studied mathematics, physics and mathematical logic at the Westphalian Wilhelms University in Münster from 1965 to 1972 as well as computer science at the Technical University of Munich and Stanford University . In 1977 he completed his doctorate at the Technical University of Munich under Jürgen Eickel . Since 1978 he has been working as a computer science professor at Saarland University, where he held the chair for programming languages and translators until 2014 . Since the establishment from 1990 to 2014 Wilhelm initiated at the same time in Dagstuhl -based Leibniz-Center for computer science (LCI, formerly International Conference and Research Center for computer science, IBFI) as a research director.

Wilhelm is a co-founder of the European Symposium on Programming (ESOP) and the European Joint Conferences on Theory and Practice of Software (ETAPS). The idea of ​​an organization to promote research in the field of programming languages ​​and systems, which led to the establishment of the European Association for Programming Languages ​​(EAPLS), goes back to him. In 1998, together with colleagues from his chair, he founded the offshoot AbsInt , whose tools (including Astrée, developed under the direction of Patrick Cousot and Radhia Cousot ) were used to certify time-critical subsystems of the Airbus A380 and A350 aircraft.

Wilhelm's main research areas include programming languages, translator construction, static program analysis, embedded real-time systems and the animation and visualization of algorithms and data structures. Wilhelm was involved in the development of MUG1, MUG2 and OPTRAN. These are translator generators based on attribute grammars. Together with Ulrich Möncke, he proposed a generalization of the inter-procedural data flow analysis with the grammar flow analysis. Together with Mooly Sagiv and Tom Reps , he designed a shape analysis based on three-valued logic. He discovered connections between code selection and the theory of regular tree languages, which are important for code generation using tree automata.

Wilhelm is one of the authors of the textbook Translation Construction, which deals with the translation of imperative as well as object-oriented, functional and logical programming languages ​​and places a special emphasis on theoretical foundations. It has been translated into English and French.

Awards

The ACM honored Reinhard Wilhelm in 2000 as an ACM Fellow for his achievements in the fields of translator construction and program analysis as well as for his service as scientific director of the LZI. The TU Darmstadt and the Fraunhofer Institute for Computer Graphics awarded him the Alwin-Walther Medal in 2006 . In 2007 the French Ministry of Education and Research awarded him the Gay Lussac Humboldt Prize for his contributions to science and his services to Franco-German cooperation in research and teaching. In 2008, the European Academy of Sciences ( Academia Europaea ) accepted him as a member. In October of the same year, RWTH Aachen awarded him an honorary doctorate. In December he received an honorary doctorate from the University of Tartu . On September 30, 2009 he was honored with the Konrad Zuse Medal for services in research and teaching in the field of translator construction and real-time analysis of programs as well as for his work as scientific director of the Leibniz Center for Computer Science, Schloss Dagstuhl. In 2010 he was awarded the Cross of Merit on Ribbon of the Federal Republic of Germany and the ACM Distinguished Service Award . In 2013 he was elected to the Leopoldina . At the international conference for embedded software ESWEEK 2019 , he received the Test-of-Time Award for the lasting influence of his research on term constraints . In 2020 the IEEE Technical Committee on Real Time Systems recognized him as the first recipient from Germany with its Achievement and Leadership Award.

Fonts

  • Jacques Loeckx , Kurt Mehlhorn , Reinhard Wilhelm: Foundations of Programming Languages. 1989.
  • Reinhard Wilhelm, Dieter Maurer: translator construction. Theory, construction, generation. 2nd Edition. Springer, Berlin et al. 1997, ISBN 3-540-61692-6 .
  • Reinhard Wilhelm: Informatics - 10 Years Back. 10 years ahead. Springer 2001.
  • Reinhard Wilhelm, Helmut Seidl: Compiler construction - virtual machines. Springer 2007.
  • Helmut Seidl, Reinhard Wilhelm, Sebastian Hack: Translator construction - analysis and transformation. Springer 2010.
  • Reinhard Wilhelm: Insights from a computer scientist with little understanding - glosses from the computer science spectrum. Springer Fachmedien, Wiesbaden 2020, ISBN 978-3-658-28385-8 .

literature

Web links

swell

  1. ↑ https://www.leopoldina.org/fileadmin/redaktion/Mitglieder/CV_Wilhelm_Reinhard_D.pdf
  2. ^ Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 66687 Wadern: Schloss Dagstuhl: Internationally renowned informatics center named new Scientific Director .
  3. ↑ EAPLS: What is EAPLS .
  4. ↑ webmaster@absint.com: AbsInt company profile .
  5. ↑ Archived copy ( Memento of the original dated December 14, 2007 in the Internet Archive ) Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice. @1@ 2Template: Webachiv / IABot / fellows.acm.org
  6. ↑ https://web.archive.org/web/20090321212025/http://www.uni-saarland.de/de/medien/2007/01/1170067449
  7. ^ Two computer scientists from Saarbrücken accepted into Academia Europaea .
  8. ↑ Archived copy ( memento of the original dated November 2, 2008 in the Internet Archive ) Info: The archive link was automatically inserted and not yet checked. Please check the original and archive link according to the instructions and then remove this notice. @1@ 2Template: Webachiv / IABot / www.rwth-aachen.de
  9. ^ 89th Anniversary of UT as at Estonian-Language University . December 1, 2008.
  10. ↑ Press release Information Service Wissenschaft dated September 7, 2009 09:42 , accessed on September 8, 2009
  11. ↑ Archived copy ( memento of the original from April 2, 2012 in the Internet Archive ) Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice. @1@ 2Template: Webachiv / IABot / awards.acm.org
  12. ↑ Member entry by Prof. Dr. Reinhard Wilhelm (with picture and CV) at the German Academy of Sciences Leopoldina , accessed on June 6, 2016.
  13. ^ Saarbrücker Zeitung: Saar University: International Prize for Computer Scientists .
  14. ↑ https://site.ieee.org/tcrts/2020/04/30/tcrts-2020-outstanding-technical-achievement-and-leadership-award/


personal data
SURNAME Wilhelm, Reinhard
BRIEF DESCRIPTION German computer scientist
DATE OF BIRTH June 5, 1946
PLACE OF BIRTH Deutmecke (Finnentrop) , Westphalia