Reinhard Wilhelm
Reinhard Wilhelm (born June 5, 1946) is a German computer scientist. Life and work Wilhelm was born in , today part of the municipality of Finnentrop, Westphalia. He studied math, physics and mathematical logic at University of Münster and computer science at Technical University Munich and Stanford University. He finished his PhD at TU Munich in 1977. In 1978, he obtained a professorship at Saarland University, where he led the chair for programming languages and compiler construction until his retirement in 2014. 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. Today he is a professor emeritus at Saarland University. Wilhelm is one of the co-founders of the European Symposium on Programming (ESOP) and the European Joint Conferences on Theory and Practice of Software (ETAPS). The European Association for Programming Languages (EAPLS) goes back to his idea to found an organization for advancing research on programming languages and programming systems. In 1998, he founded AbsInt, a research spin-off that offers software-quality assurance tools based on abstract interpretation, among them tools for the verification of real-time requirements, used for example for certification of the