Wilhelm Reinhard

Wilhelm Reinhard is a Full Professor of Informatics at Saarland University, holding the Chair for Programming Languages and Compiler Construction since 1978. He also serves as Scientific Director of Schloss Dagstuhl (Leibniz Center for Informatics) since 1990. His roles include coordinating projects like AVACS and Predator, and he is affiliated with AbsInt GmbH. Reinhard earned his Dr. rer. nat from TU München in 1977.

Education:

• 1977: Dr. rer. nat in Computer Science, TU München

Research Focus: His work centers on compiler design, static program analysis, safety-critical systems, and real-time systems. He emphasizes timing guarantees for embedded systems.

Awards and Honors:

• ACM Fellow (2000)
• Konrad-Zuse Medal (2009)
• ACM Distinguished Service Award (2010)

Professional Activities: He chairs conferences like EMSOFT and LCTES, and advises institutions such as CWI. He has been a key figure in European research networks (ARTIST2, ARTIST DESIGN).