Reinhard Wilhelm#
| Membership Number: | 2526 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2008 |
| Main Country of Residence: | GERMANY |
| Homepage(s): | http://rw4.cs.uni-sb.de/~wilhelm/wilhelm.html |
Present and Previous Positions
- 1990 - 2014 Scientific Director of the Leibniz Centre for Computer Science (formerly the International Conference and Research Centre for Computer Science) Schloss Dagstuhl
- 1978 - 2014 Full Professor of Informatics at Saarland University in Saarbrücken
- 1977 Dr. rer. nat degree from TU München
- 1965 - 1972 Studied Mathematics, Physics, and Mathematical Logic at Westfälische Wilhelms-Universität Münster, Informatics at Technical University München and Stanford University
Fields of Scholarship
- Compiler construction
- Static program analysis
- Embedded real-time systems
Honours and Awards
- 2000 ACM Fellow
- 2006 Alwin Walther Medal
- 2007 Prix Gay-Lussac-Humboldt
- 2008 Honorary doctorates of RWTH Aachen and Tartu University
- 2010 Cross of the Order of Merit of the Federal Republic of Germany
- 2013 Acceptance into the German National Academy Leopoldina.
- 2020 Outstanding Technical Achievement and Leadership Award of the IEEE Technical Committee on Real Time Systems
- 2025 ACM SIGBED Technical Achievement Award
