Craig Innes (Collaborator)

Chancellor’s Fellow, School of Informatics, University of Edinburgh

Craig Innes is a Chancellor’s Fellow within the Institute for Perception, Action and Behaviour (IPAB) at the University of Edinburgh. Their work covers guarantees on safety, trustworthiness and risk for cyber-physical systems. In particular – how one can combine traditional models of symbolic-logic and formal verification, with newer black-box probabilistic models seen in modern machine learning.