Researcher in the ActiveMath group. Main interests: interactive exercises, semantic knowledge representation