If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

  • Probabilistic verification of autonomous systems.
  • Bayesian inference with partial and limited prior knowledge.
  • Exploring the limits of what can be claimed rigorously for system reliability.
  • Modelling of software design diversity for fault tolerance.


Xingyu Zhao received his BEng in Software Engineering and MSc in Control Science and Engineering from Beihang University, Beijing. He joined the Centre for Software Reliability (CSR), City, University of London as a PhD student and obtained a doctorate degree in Computer Science. In May 2018, he joined the Smart System Group at Heriot-Watt University and has been doing research on developing practical self-certification methods for robotics and autonomous systems. Since Jan. 2019, he is also a Programme Fellow of the Assuring Autonomy International Programme at University of York.


Dive into the research topics where Xingyu Zhao is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 6 Similar Profiles


Recent external collaboration on country level. Dive into details by clicking on the dots or
If you made any changes in Pure these will be visible here soon.