Research Output per year
Research Output per year
Dr
EH14 4AS
United Kingdom
Research output per year
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.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Zhao, Xingyu (Recipient), Robu, Valentin (Recipient), Flynn, David (Recipient), Kizito Salako (Recipient) & Lorenzo Strigini (Recipient), 28 Oct 2019
Prize: Prize (including medals and awards)