About me

This is Xingyu Zhao (phonetically, Sing-You Jaw, if this was easier…).

I am an Associate Professor in Safety-Critical Systems at the Safe Autonomy Group, Intelligent Vehicles, WMG, University of Warwick.

I am also a honorary researcher at the Computer Science Department, University of Liverpool, and Fellow of the Higher Education Academy (FHEA).

Before joining Warwick, I was a Lecturer in AI at the University of Liverpool and a PDRA at Heriot-Watt University. I received both my Bachelor and Master degrees from Beihang University. I joined the Centre for Software Reliability, City, University of London and obtained a doctorate degree in Computer Science under the supervision of Professor Bev Littlewood and Professor Robin Bloomfield.

My research interests include (a growing list…):

Probabilistic verification of autonomous systems.
Bayesian statistical inference (esp. with partial/vague prior knowledge).
Software reliability assessment and safety assurance.
Trustworthy and Explainable AI.
Modeling of software design diversity for fault tolerance.

Page updated

Google Sites

Report abuse