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
- Chair for Programming Languages and Compiler Construction at Saarland University
- 1990 Scientific Director of the International Conference and Research Centre for Computer Science, Schloss Dagstuhl
- 1978 Full Professor of Informatics at Saarland University in Saarbrücken
- 1977 Dr. rer. nat degree from TU München
Fields of Scholarship
- Compilers for programming languages
- Static program analysis
- Safety-critical embedded systems
- Timing guarantees for hard real-time systems
Honours and Awards
- 2000 ACM Fellow
- 2004 European IST Prize with AbsInt
- 2006 Alwin Walther Medal
- 2007 Prix Gay-Lussac-Humboldt
- 2008 Honorary doctorates of RWTH Aachen and Tartu University
- 2009 Konrad-Zuse Medal, Gesellschaft für Informatik
- 2010 ACM Distinguished Service Award
