Christoph Lange, Ph.D. in Computer Science
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 …
- my directory entry on their School of Computer Science for the latest contact details
- my actual homepage there (growing; will eventually supersede this one)
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:
- Prof. Michael Kohlhase, head of the KWARC research group at Jacobs University Bremen
- Prof. Peter Baumann (Jacobs University Bremen)
- Prof. Stefan Decker (Digital Enterprise Research Institute, National University of Ireland, Galway)
More Information about me on this Homepage
- Research statement and vision: A Social Semantic Web for STEM
- Curriculum Vitæ
- Publication list
- How to contact me
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)