Formal Methods

Duncan is working on his PhD looking at the intersection of ontologies and formal methods and their support for complex adaptie transport networks with Michele Sevegnani and myself. This PhD is supported by the TransiT hub.