Christine Müller

Start Date: 
September, 2006
End Date: 
May, 2010
Contact Details: 

cmueller at jacobs-alumni dot de


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