Prof. Reinhard Wilhelm Research Interests Timing Analysis for Real-Time Systems Static Program Analysis based on 3-valued logic, vulgo Shape Analysis Compiler Construction Algorithm Explanation Positions and Functions Holder of the chair for Programming Languages and Compiler Construction at Saarland University (from April 1, 1978 until September 30, 2014) Scientific Director of Schloss Dagstuhl – Leibniz Center for Informatics (from 1990 to April 2014) Associate of AbsInt Angewandte Informatik GmbH Associate Editor of the Communications of the ACM More about Reinhard Wilhelm can be found at his personal webpage
