Fellow
Germany – 2015
CITATION

For contributions to the logical foundations of automatic theorem proving and types for programming languages.

ACM Senior Member
Germany – 2007