Diagram Operators

Research on concise specification and implementation of operators on diagrams of formalizations and their meta theory.


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.