Professor Michael Fisher, University of Manchester

Professor Fisher’s research focuses on the development of formal verification techniques to uncover and understand why a robot might make a particular choice. Taking a new approach to the construction autonomous systems, his techniques will capture and analyse key decision-making within software to provide formal proof that an autonomous system will always make the safest and most ethical decisions.