Reinhard Wilhelm

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

Life and work

Wilhelm studied from 1965 to 1972 Mathematics, Physics and Mathematical Logic at the Westfälische Wilhelms-Universität in Münster and computer science at the Technical University Munich and Stanford University. In 1977 he completed his doctorate at the Technical University of Munich. Since 1978 he has worked as a computer science professor at the University of the Saarland, where he holds the Chair of Programming Languages ​​. Since the establishment in 1990 Wilhelm forwards at the same time Headquartered in Schloss Dagstuhl Leibniz Center for computer science ( LTI, formerly The International Conference and Research Center for computer science, IBFI ) as scientific 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 ). To him the idea of ​​an organization for the promotion of research in the field of programming languages ​​and systems goes back that led to the founding of the European Association for Programming Languages ​​( EAPLS ). In 1998 he founded, together with members of his chair the offshoot AbsInt whose products were used in the certification of time-critical subsystems of the Airbus A380.

The main research areas include William programming languages, compiler construction, static program analysis, real-time embedded systems and the animation and visualization of algorithms and data structures. Wilhelm was involved in the development of MUG1, Mug2 and OPTRAN. These are translation generators that are based on attribute grammars. Together with Ulrich Möncke he struck with the grammar flow analysis on a generalization of the interprocedural data flow analysis. Together with Mooly Sagiv and Tom Reps, he designed a shape analysis based on trivalent logic. He discovered relationships between code selection and the theory of regular tree languages ​​which are for code generation using tree automata of importance.

William is one of the authors of the textbook compiler, which also deals with the imperative object-oriented, functional and logic programming languages ​​in addition to the translation, and places special emphasis on theoretical foundation. It was translated into English and French.

Awards

The ACM honored Reinhard Wilhelm in 2000 as an ACM Fellow for his achievements in the areas of compiler construction and program analysis and for his service as scientific director of the LTI. The TU Darmstadt and the Fraunhofer Institute for Computer Graphics drafted him in 2006 with the Alwin Walther medal. 2007 awarded him the French Ministry of Education and Research of the Gay -Lussac - Humboldt Prize for his contributions to science and for his services in the German - French cooperation in research and teaching. In 2008 he took the European Academy of Sciences ( Academia Europaea ) as a member. In October of the same year the RWTH Aachen he was awarded an honorary doctorate. In December he received an honorary doctorate from the University of Tartu .. On September 30, 2009, he was with the Konrad -Zuse- Medal for Merit in research and teaching in the field of compiler construction and real-time analysis of programs as well as for his work as scientific director of the Leibniz center honored .. 2010 for computer science, Schloss Dagstuhl, he was awarded the Order of Merit of the Federal Republic of Germany and the ACM distinguished service Award. In 2013 he was elected to the Leopoldina.

Writings

  • Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Foundations of Programming Languages ​​in 1989
  • Reinhard Wilhelm and Dieter Maurer: Compiler Construction. Theory, design, generation. 2nd edition, Berlin [ua ]: Springer, 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: Compiler Design - Analysis and Transformation, Springer 2010
Corporate spin-off Association for Computing Machinery DBLP Integrated Authority File
677022
de