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.

Biography

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. Since May, 2018, he joined the Smart System Group at Heriot-Watt University and doing research on developing practical self-certification methods for robot and autonomous systems. In 2019, he is also a Programme Fellow of the Assuring Autonomy International Programme at the University of York.

Fingerprint 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.

  • 3 Similar Profiles

Co Author Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 10 Conference contribution
  • 5 Article

On Reliability Assessment When a Software-based System Is Replaced by a Thought-to-be-Better One

Littlewood, B., Salako, K., Strigini, L. & Zhao, X., May 2020, In : Reliability Engineering and System Safety. 197, 106752.

Research output: Contribution to journalArticle

  • UAS Operators Safety and Reliability Survey: Emerging Technologies Towards the Certification of Autonomous UAS

    Osborne, M., Lantair, J., Shafiq, Z., Zhao, X., Robu, V., Flynn, D. & Perry, J., 10 Feb 2020, 2019 4th International Conference on System Reliability and Safety (ICSRS). IEEE, p. 203-212 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 10 Downloads (Pure)

    Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing

    Zhao, X., Robu, V., Flynn, D., Salako, K. & Strigini, L., 20 Jul 2019, (Accepted/In press) The 30th International Symposium on Software Reliability Engineering.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Machine learning methods for wind turbine condition monitoring: A review

    Stetco, A., Dinmohammadi, F., Zhao, X., Robu, V., Flynn, D., Barnes, M., Keane, J. & Nenadic, G., Apr 2019, In : Renewable Energy. 133, p. 620-635 16 p.

    Research output: Contribution to journalArticle

    Open Access
    File
  • 1118 Downloads (Pure)

    Probabilistic Model Checking of Robots Deployed in Extreme Environments

    Zhao, X., Robu, V., Flynn, D., Dinmohammadi, F., Fisher, M. & Webster, M., 17 Jul 2019, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence. AAAI Press, p. 8066-8074 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 33, no. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 34 Downloads (Pure)

    Prizes

    Best Paper Award Finalist, The 30th International Symposium on Software Reliability Engineering (ISSRE 2019)

    Xingyu Zhao (Recipient), Valentin Robu (Recipient), David Flynn (Recipient), Kizito Salako (Recipient) & Lorenzo Strigini (Recipient), 28 Oct 2019

    Prize: Prize (including medals and awards)