Please answer the following question: Facts: - residence: germany - known for: omdoc - fields: mathematics , computer science - thesis year: 1994 - doctoral advisor: jorg siekmann - birth date: 13 september 1964 - thesis title: a resolution principle mechanization of sorted higher-order logic based on the - name: michael kohlhase - nationality: german - image: michaelkohlhaseexplainsnestedworkingcopies.jpg - birth place: erlangen , germany - alma mater: saarland university Based on these bullet points, write a short biography describing the life of michael kohlhase .
Answer:
michael kohlhase -lrb- born september 13 , 1964 in erlangen -rrb- is a german computer scientist and professor at jacobs university , bremen , germany , where he is head of the kwarc research group -lrb- knowledge adaptation and reasoning for content -rrb- at the school of engineering and science .