In May 2010 I have received my PhD in computer science at the Jacobs University .
My supervisor was Prof. Michael Kohlhase, head of the KWARC research group (Knowledge Adaptation and Reasoning for Content). My second supervisor was Adalbert Wilhelm, Prof. of Statistics at Jacobs University. My external supervisor was Cristian Calude, Prof. of Computer Science at the University of Auckland, NZ.
Thesis Title: Adaptation of Mathematical Documents