Xingyu Zhao
Scholar

Xingyu Zhao

Google Scholar ID: SzEBdA8AAAAJ
Associate Professor, University of Warwick
Software ReliabilitySafe AIBayesian InferenceProbabilistic Model CheckingSafety Assurance
Citations & Impact
All-time
Citations
2,245
 
H-index
19
 
i10-index
34
 
Publications
20
 
Co-authors
48
list available
Contact
No contact links provided.
Resume (English only)
Research Experience
  • Currently an Associate Professor in Safety-Critical Systems at the Safe Autonomy Group, Intelligent Vehicles, WMG, University of Warwick; was a Lecturer in AI at the University of Liverpool and a PDRA at Heriot-Watt University.
Education
  • Received both Bachelor's and Master's degrees from Beihang University; obtained a doctorate degree in Computer Science from the Centre for Software Reliability, City, University of London, under the supervision of Professor Bev Littlewood and Professor Robin Bloomfield.
Background
  • Research interests include: probabilistic verification of autonomous systems, Bayesian statistical inference (especially with partial/vague prior knowledge), software reliability assessment and safety assurance, trustworthy and explainable AI, modeling of software design diversity for fault tolerance.
Miscellany
  • Also an honorary researcher at the Computer Science Department, University of Liverpool, and Fellow of the Higher Education Academy (FHEA).