Normen Müller

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.

Research Focus

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.
- » scalaxx (Scala XML Extensions)
- » scaup (A general utility library for the Scala language, as a companion to the standard library)

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)