Dr. Xingyu Zhao

Research Associate
Heriot-Watt University, Edinburgh
Research Profile: Heriot-Watt Research Profile

Xingyu is currently working on the Offshore Robotics for Certification of Assets (ORCA) project as well as being a Programme Fellow at the Assuring Autonomy International Programme (AAIP).

He received a BEng in Software Engineering and MSc in Control Science and Engineering from Beihang University. Xingyu joined the Centre for Software Reliability (CSR), City, University of London as a PhD student and obtained a doctorate in computer science under the supervision of Professor Bev Littlewood and Professor Robin Bloomfield.

His research interests include:

  • Exploring the limits of what can be claimed rigorously for system dependability
  • Probabilistic model checking for autonomous systems
  • Assessment of “possible perfection” with respect to software faults
  • Modelling of software design diversity for fault tolerance