Christoph Lange, Ph.D. in Computer Science

Christoph Lange

Postdoctoral Researcher (University of Birmingham); Guest Researcher (Jacobs University Bremen)

This homepage is no longer completely up to date, as I have moved to the University of Birmingham. Please see …

At the time of this writing (2012-07-30), the following parts of this homepage are still expected to be updated continuously: my publication list and the PDF version of my CV.

As of 1 May 2012 I am working as a research fellow in a project on Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour (EPSRC project EP/J007498/1).

On March 11, 2011, I defended my Ph.D. thesis (published in October 2011) on “Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration”.
I did my Ph. D. studies in the “Computer Science – Smart Systems” program of the School of Engineering & Science at Jacobs University Bremen,
under the supervision of:

More Information about me on this Homepage

Some Activities (incomplete)

  • OntoIOp/DOL (ISO/WD 17347) Ontology Integration and Interoperability – The Distributed Ontology Language (since 2011)
  • Krextor – KWARC RDF extractor (since 2008)
  • OMDoc document ontology (since 2006)
  • Old:
    • SWiM – A Semantic Wiki for Mathematical Knowledge Management (2006–2010)
© 2006 Copyrights KWARC. | XHTML 1.0 | CSS | Page generated from XML sources with the WSML package