Robin is helping us in linking different Petri net formalisms into a broader, unique mathematical theory.
Education: PhD Computer Science, University of Oxford
Expertise: Category theory, PROPS, open systems
Location: Oxford, England
Publications: DBLP Arxiv
Robin is broadly interested in the idea of composition: how parts make up a whole and how the whole comes to be more than the sum of its parts. To attack this problem he uses various weapons in the category theoretic arsenal. Recently, he has become obsessed with another Robin's idea of processes: "The meaning of a program should express its history of access to resources which are not local to it." -- Robin Milner. Consequently he has been busy developing a theory of how processes access, use and share ressources (physical, computational etc.).