Dr Xingyu Zhao PhD
Lecturer Computer Science
- Work email Xingyu.Zhao@liverpool.ac.uk
- Personal Websitehttps://www.xzhao.me/
Research
Research Overview
Xingyu's research interests include:
1. Probabilistic verification of autonomous systems.
2. Bayesian inference with partial and/or vague prior knowledge.
3. Software reliability assessment and safety assurance.
4. Explainable AI.
5. Modeling of software design diversity for fault tolerance.