Add Navid as KWARCie
Compare changes
nroux.md
0 → 100644
+ 33
− 0
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](https://kwarc.info/systems/mmt/), to facilitate formalization and reuse of knowledge. Moreover, I find parallels to software engineering fascinating: correcntess, 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](https://martinfowler.com/bliki/ProjectionalEditing.html).
- …extending previous work on [diagram operators](https://kwarc.info/people/frabe/Research/RS_diagops_19.pdf), 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.
- …working with other KWARCies in the [FrameIT project](https://UFrameIT.github.io/) on exploiting MKM techniques for serious educational games. See our latest paper submission [*FrameIT: Detangling Knowledge Management from Game Design in Serious Games*](http://kwarc.info/kohlhase/submit/cicm20-frameit.pdf).