Ph.D. in Computer Science
nmueller at jacobs-alumni dot de
In July 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. My second supervisor was Herbert Jäger, Prof. of Electrical Engineering and Computer Science at Jacobs University. My external supervisor was Bernd Krieg-Brückner, Prof. of Computer Science at the University of Bremen.
I am interested in Mathematical foundations and Logic of computer science, and Document Engineering, in particular management of change (MoC).
Major PhD Projects
- » locutor (An Ontology-Driven Management of Change System) Next generation is the deltaQ project.
Further Research Projects
- » OMDoc (An xml-based markup standard for structured mathematical documents)