Published the book 'Machine Learning Safety.' The research has been funded by Dstl, EPSRC, European Commission, Innovate UK, etc. Has been the PI (or Liverpool PI) for projects valued over £10M, and co-I for more than £20M.
Research Experience
Founded the Autonomous Cyber Physical Systems Laboratory, now located in the new Digital Innovation Facility (DIF) Building. Led a team that won the UK-US privacy-enhancing technologies prize challenges at the first stage and a special recognition prize for 'Novel Modelling/Design' at the second stage. Co-chairs AISafety workshops at IJCAI and SafeAI workshops at AAAI, and co-organizes the Turing interest group on Neuro-Symbolic AI.
Education
Worked previously at the University of Oxford, the University of New South Wales, and the Chinese Academy of Sciences.
Background
Currently a Professor of Computer Science at the University of Liverpool. Research interests span machine learning, formal methods, and robotics, with a particular focus on analyzing autonomous systems (e.g., safety, robustness, trustworthiness, security, etc.) and their applications in self-driving cars, underwater vehicles, and other robotic applications. Also interested in healthcare applications where safety and interpretability are crucial.