formal-systems

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.

Diagram Operators in a Logical Framework

Often meta-programming facilities that transform diagrams of formalizations adhere to a special form giving them nice meta propreties, e.g. preservation of includes (diagrammatic structure) and morphism composition.

Presentation of "Diagram Operators in a Logical Framework" at LFMTP 2020

I presented a talk at LFMTP on the utility of operators transforming diagrams of formalization in a meta-programming fashion. The talk corresponded to an extended abstract me and my advisor submitted.

Functorial Diagram Operators

Often meta-programming facilities that transform diagrams of formalizations adhere to a special form giving them nice meta propreties, e.g. preservation of includes (diagrammatic structure) and morphism composition.

Presentation of "Functorial Diagram Operators" at WADT 2020

I presented a talk on a yet unsubmitted paper from me and my advisor for which our extended abstract was accepted.

Composition of Programming Languages (informal talk)

Informal talk highlighting some problems of naive composition of programming languages (e.g. SQL, HTML, and regex injections) and then introducing JetBrains MPS -- a language workbench tool allowing to compose languages very easily.

B. Sc. Thesis: Refactoring Theory Graphs

📁 Offering my B. Sc. thesis for download.

B.Sc. defense: Refactoring of Theory Graphs in Knowledge Representation Systems

Based on the foundation-independent module system MMT, I propose a general definition of behavior-preserving refactorings, and as the primary example give a method to generalize inversely along MMT morphisms (refinements).