This is Xingyu Zhao (phonetically, Sing-You Jaw, if this was easier…).
I am a Lecturer (Assistant Professor) at the Department of Computer Science, University of Liverpool, and a Programme Fellow at the Assuring Autonomy International Programme (AAIP). Before I joined Liverpool, I was a member of the Smart System Group, 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.