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 System)

Further Research Projects

» OMDoc (An xml-based markup standard for structured mathematical documents)
- » JOMDoc (An API for OMDoc documents)
- » VeriFun (Maintaining/Development of OMDoc integration into VeriFun)

Former Research Projects

» Sigma (A system for developing, viewing and debugging theories in first order logic.)
» ONCE-CS (Open Network of Centres of Excellence in Complex Systems)
» Rhaptos (The codename for the software developed and used by ConneXions)