About me

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

I am a postdoctoral Research Associate in the Smart System Group at the Heriot-Watt University, currently working on the Offshore Robotics for Certification of Assets (ORCA) project. I am also a Programme Fellow at the Assuring Autonomy International Programme (AAIP), University of York.

I received my BEng in Software Engineering and MSc in Control Science and Engineering from Beihang University. I joined the Centre for Software Reliability (CSR), City, University of London as a PhD student 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 limited prior knowledge.
  • Exploring the limits of what can be claimed rigorously for system dependability.
  • Modeling of software design diversity for fault tolerance.