Diagram Operators
Research on concise specification and implementation of operators on diagrams of formalizations and their meta theory.
TODO: mention associated papers
Navid Roux
Computer Science M. Sc. Student
Academically interested in formal systems for knowledge representation; recreationally in love with sports.