Research Areas and Interests

• Semantic Knowledge Representation, Semantic Web, Knowledge Ontologies, Metadata
• Intelligent Tutoring Systems (ITS), Interactive Exercises, their representation and generation, diagnosis of learner interaction, integration and interoperability of mathematical services within an interactive learning enviroment
• Foundations of Mathematics, Modal Logic, Category Theory

Working Groups

• Researcher for ActiveMath web-based adaptive learning environment for mathematics at the University of Saarland
• Involved in the OMDoc project, developing a semantic markup format for mathematical documents, an extension of Open Math
• Member of OpenMath consortium

Projects

• EU -Projects: LeActiveMath, MoWGLI, iClass, ActiveMath EU
• German national projects: MMISS - Multimedia-instruktion in sicheren Systemen, In2Math, Matheführerschein, ATuF

Teaching

• Einfürung in die Informatik für die Hörer alle Fakultäten (german)
• Analysis mit ActiveMath (german)
• Seminar Mathematik für Informatiker (german)
• Seminar Intelligent Tutoring Systems 2006
• Educational Technologies Lecture WS 2006/2007

ActiveMath related

• Interactive Exercises in ActiveMath
• Qmath Instruction (html slides of a talk given at the DAMIT project meeting) (partially in german)
• Qmath Contexts
• ActiveMath-Java Documentation
• ActiveMath Group picture
• ActiveMath Demo Video
• Assembly Tool Demo
• Teacher Tool Demo
• Interactive Concept Map (iCmap) Tool Demo

Links

• MathWeb.org: supporting mathematics on the web
• OpenMath Standard
• IEEE Learning Technology Standards Committee (LTSC)
• MathQTI - Semantic Math for IMS QTI

Other Bookmarks

Bookmarks Page Periodically Generated by My del.icio.us Bookmark portal