Skip to content
Snippets Groups Projects
nroux.md 2.02 KiB
Newer Older
  • Learn to ignore specific revisions
  • Navid Roux's avatar
    Navid Roux committed
    ---
    layout: person
    
    title: Navid Roux
    fullname: B.Sc. Navid Roux
    
    start_date: 2018-11
    role: master-student
    #pic: public/images/nroux.jpg
    github: ComFreek
    orcid: 0000-0002-8348-2441
    publink: auto
    gitlab: NavidRoux
    mathhub: NavidRoux
    researchgate: Navid_Roux
    ---
    ### Description  
    
    I am a Master student at [FAU Erlangen-Nürnberg](https://www.fau.eu/), where I previously completed my B.Sc. degree with a thesis on [*Refactoring of Theory Graphs in Knowledge Representation Systems*](https://navid-roux.netlify.app/post/bsc-thesis/).
    
    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).
    
    ## Current Work
    
    Besides my Master studies, currently I am working 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).
    
    ### Contact
    
    Feel free to contact me at _myFirstName_._myLastName_@fau.de.