Description

I am a Master student at FAU Erlangen-Nürnberg, where I previously completed my B.Sc. degree with a thesis on Refactoring of Theory Graphs in Knowledge Representation Systems.

My primary interests lie in the field of Mathematical Knowledge Management (MKM), where I like to apply and extend existing formal methods, such as KWARC’s MMT system, to facilitate formalization and reuse of knowledge. Moreover, I find parallels to software engineering fascinating: correctness, refactoring, and prototyping all have a very pragmatic side from a programmer’s perspective as well as a formal side within the realm of MKM and theorem provers. Last but not least, both fields require good UX for programmers/formalizers, which led me to learning and caring about non-text-based programming languages by means of projectional editing.

Current Work

Besides my Master studies, currently I am working…

• …on extending previous work on diagram operators, which allow taking a pre-existing formalization (as a diagram) and transforming it in useful ways to another diagram, e.g. to consistently Abelianize a formalization of general, non-Abelian universal algebra.

• …with other KWARCies in the FrameIT project on exploiting MKM techniques for serious educational games. See our latest paper submission FrameIT: Detangling Knowledge Management from Game Design in Serious Games.

Contact

Feel free to contact me at firstname.lastname@fau.de.