I am a Computer Science M.Sc. student with research interests in *knowledge representation and processing* of logics, type theories, and math.
I completed my Bachelor's thesis on [*Refactoring of Theory Graphs in Knowledge Representation Systems*](https://navid-roux.netlify.app/post/bsc-thesis/),
I am a Computer Science M.Sc. student with research interests in *knowledge representation and processing* of formal content
such as foundations, logics, type theories, and math.
My advisors are [Michael Kohlhase](https://kwarc.info/people/mkohlhase/) and [Florian Rabe](https://kwarc.info/people/frabe/)
So far I have completed my Bachelor's thesis on [*Refactoring of Theory Graphs in Knowledge Representation Systems*](https://navid-roux.netlify.app/post/bsc-thesis/),
my Master's project on [*Structure-Preserving Diagram Operators*](https://gl.kwarc.info/supervision/projectarchive/-/blob/master/2020/Roux_Navid.pdf), and am currently working on extending the latter for my Master's thesis.
Common to all three works is the idea to first identify annoyances when trying to represent a very concrete thing
(e.g. getting a *concise* formalization of algebra)
