jrmn
431
reputation
3
4
PhD student working in the intersection of Applied Ontology, Formal Methods and Category Theory.