Reinhard Wilhelm

In addition, Wilhelm has held the post of scientific director of the Leibniz Center for Informatics at Schloss Dagstuhl from its inception in 1990 until 2014.

Wilhelm became a fellow of the ACM in 2000 for his research on compiler construction and program analysis and his work as a scientific director of the LZI.

[7] In September 2009, he was awarded the Konrad Zuse Medal for his achievements in research and education with respect to compiler construction, real time analysis of programs and his service as scientific director of the LZI/Schloss Dagstuhl.

He received the Test-of-Time award at the international conference ESWEEK 2019 for the long term impact of his research on execution time bounds.

[11] In 2021, he received the Test-of-Time Award of the IEEE Technical Committee on Real-Time Systems (TCRTS) for the article "The influence of processor architecture on the design and the results of WCET tools".