He holds a DPhil in Computation from the University of Oxford, and was awarded a British Computer Society Distinguished Dissertation Award for his doctoral research. His research team is undertaking projects on the use of mathematical modelling and analysis to improve the safety and performance of adaptive and autonomous systems and processes, and to ensure the safety of machine learning techniques. He has been a Principal Investigator on research projects funded by Lloyd’s Register Foundation, UK Research Council, MoD and Wellcome Trust grants, and led industrial R&D projects as the Senior Development Manager and Technical Architect of an Oxford University spin-off software company. He has published over 120 research papers in the areas of software engineering, and adaptive and autonomous systems.