Reinhard Wilhelm#
| Email: | wilhelm 'at' cs.uni-sb.de |
| Membership Number: | 2526 |
| Main Country of Residence: | GERMANY |
| Section: | INFORMATICS |
| Date of Birth: | 1946/06/05 |
| Username: | rwilhelm |
Present and Previous Positions
- 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






