Michael Kohlhase

Deutsch: Michael Kohlhase (* 13. September 1964 in Erlangen) ist ein deutscher Informatiker und Professor an der Jacobs University Bremen, wo er an der Fakultät für Natur- und Ingenieurswissenschaften (School of Engineering and Science) die Forschungsgruppe KWARC (Knowledge Adaptation and Reasoning for Content) leitet.

English: Dr. Michael Kohlhase (born 1964 in Erlangen) is a German computer scientist and professor at Jacobs University, Bremen, Germany, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content) at the School of Engineering and Science.

• 
  English: Michael Kohlhase explains the nested working copy problem.

  Deutsch: Michael Kohlhase erklärt das Problem geschachtelter Arbeitskopien.
• 
  English: Michael Kohlhase explains the semantic search engine MathWebSearch.

  Deutsch: Michael Kohlhase erklärt die semantische Suchmaschine MathWebSearch.