Currently an Associate Professor in Safety-Critical Systems at the Safe Autonomy Group, Intelligent Vehicles, WMG, University of Warwick; was a Lecturer in AI at the University of Liverpool and a PDRA at Heriot-Watt University.
Education
Received both Bachelor's and Master's degrees from Beihang University; obtained a doctorate degree in Computer Science from the Centre for Software Reliability, City, University of London, under the supervision of Professor Bev Littlewood and Professor Robin Bloomfield.
Background
Research interests include: probabilistic verification of autonomous systems, Bayesian statistical inference (especially with partial/vague prior knowledge), software reliability assessment and safety assurance, trustworthy and explainable AI, modeling of software design diversity for fault tolerance.
Miscellany
Also an honorary researcher at the Computer Science Department, University of Liverpool, and Fellow of the Higher Education Academy (FHEA).