About me

This website stops updating after 1st-Jan-2022. Please ref to my new website at https://www.xzhao.me/

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

I am a Lecturer (Assistant Professor) at the Department of Computer Science, University of Liverpool, as well as a Programme Fellow at the Assuring Autonomy International Programme (AAIP), University of York. 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 (CSR), 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 changing list…):

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