Michael Kohlhase
German computer scientist
Michael Kohlhase is a German computer scientist and professor at University of Erlangen–Nuremberg, where he is head of the KWARC research group. Wikipedia
Place of birth: Erlangen, Germany
Education: Saarland University and University of Bonn
Affiliation: University of Erlangen-Nuremberg