From 31e19d44f97cba00dba3bb2a45aff7caa0c1e331 Mon Sep 17 00:00:00 2001 From: Navid Roux <navid.roux@fau.de> Date: Mon, 18 May 2020 19:22:41 +0200 Subject: [PATCH] Navid's profile page: fix grammar --- people/nroux.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/people/nroux.md b/people/nroux.md index 1e0c09c..619c212 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 -- GitLab