Normen Müller
Ph.D. Student of Computer Science
Jacobs University Bremen
|
Mailing address School of Engineering & Science Jacobs University Bremen , Campus Ring 1 D-28759 Bremen, Germany |
Office Room 79, Research 1 tel.: +49 421 200 3168 fax: +49 421 200 493103 n dot mueller at jacobs-university dot de |
As of June 1 2005 I am a Ph. D. student in the computer science program of the School of Engineering & Science at the Jacobs University Bremen.
My supervisor is Prof. Michael Kohlhase, head of the KWARC research group (Knowledge Adaptation and Reasoning for Content).
Current Research
I am interested in Mathematical foundations and Logic of computer science, Knowledge Representation based on Description Logic, and Document Engineering, in particular management of change.
Major PhD Projects
- » locutor (An Ontology-Driven Management of Change)
- » mdpm (A Collection of model-based diff, patch, merge algorithms)
- » scalaxx (scala Xml eXtensions --- an extension to Scala's library support for XML processing)
- » scaup (Scala up! --- a general utility library for the Scala language)
Further Research Projects
- » mmlkit (A toolkit for presenting content MathML and OpenMath)
- » OMDoc (An xml-based markup standard for structured mathematical documents)