Projects

Diagram Operators
Research on concise specification and implementation of operators on diagrams of formalizations and their meta theory.
FrameIT
Project at KWARC connecting serious games and Mathematical Knowledge Management techniques.
Fiddling with JetBrains MPS
Hobby exploration of the language workbench JetBrains MPS that allows to quickly create DSLs with a “projectional editing”-first idiom.