12 Facts About Reinhard Wilhelm

Reinhard Wilhelm was born on June 5,1946 and is a German computer scientist.

Reinhard Wilhelm studied math, physics and mathematical logic at University of Munster and computer science at Technical University Munich and Stanford University.

Reinhard Wilhelm finished his PhD at TU Munich in 1977.

Reinhard Wilhelm is one of the co-founders of the European Symposium on Programming and the European Joint Conferences on Theory and Practice of Software.

Reinhard Wilhelm's research focuses on programming languages, compiler construction, static program analysis and embedded real time systems, but includes animation and visualization of algorithms and data structures.

Reinhard Wilhelm discovered connections between code selection and the theory of regular tree automata, which is relevant for code generation using tree automata.

Reinhard Wilhelm is one of the co-developers of the MUG1, MUG2 and OPTRAN compiler generators, which are based on attribute grammars.

Reinhard Wilhelm invented a popular shape analysis based on three-valued logic together with Mooly Sagiv and Tom Reps.

Reinhard Wilhelm is co-author of the book Compiler Construction, which teaches compilers not only for imperative languages, but for object-oriented, functional and logical ones as well and stresses theoretical foundation.

Reinhard 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.

Reinhard Wilhelm became a member of the European academy of sciences in 2008.

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