Currently my main job is to run the Knowledge Media Institute Koblenz of the University Koblenz-Landau. This is the central eLearning institute of the university.
I completed my habilitation in Mathematics in 1981 at Humboldt University Berlin. Working at Humboldt University in the field of Mathematical Logic, notably non-classical logic and algebraic model theory, I got interested in the late 80s in the application of logics as the foundation for intelligent systems.
During my work on automated and interactive theorem proving I joined in 1998 the Artificial Intelligence Working Group in Koblenz. As an application of automated inference procedures I developed Slicing Book Technology as an approach to re-use information in structured documents in a personalized way.
Application of this technology in eLearning brought me to the Knowledge Media Institute in 2003.
I am a member of the Technical Advisory Board of IMS Global Learning and of the Editorial Board of the Journal of Technology, Instruction Cognition and Learning.
From time to time I post something in my blog, depending on the subject this may be in German.