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.
وفي سبتمبر 2009، حصل على ميدالية كونراد زوسي عن إنجازاته في مجال البحث والتعليم فيما يتعلق ببناء المجمّعات، وتحليل البرامج في الوقت الحقيقي، وخدمته كمدير علمي في LZI / Schloss Dagstuhl.