diff --git a/people/nroux.md b/people/nroux.md index 1e0c09c1fb6a79e11365b2e08c8d81e8ac172d15..619c212295413530d98126ab299d7180fa5a5aaa 100644 --- a/people/nroux.md +++ b/people/nroux.md @@ -24,11 +24,11 @@ My primary interests lie in the field of *Mathematical Knowledge Management* (MK ### Current Work -Besides my Master studies, currently I am working on… +Besides my Master studies, currently I am working… -- …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. +- …on 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). +- …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). ### Contact