Commit 31e19d44 authored by Navid Roux's avatar Navid Roux 💬
Browse files

Navid's profile page: fix grammar

parent 9bac04b0
Pipeline #2232 passed with stage
in 42 seconds
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment