Dr. Xingyu Zhao
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