Skip to main content

Menu

Dr Xingyu Zhao
PhD

Lecturer
School of Computer Science and Informatics

Part of
Faculty of Science and Engineering

Contact

Xingyu.Zhao@liverpool.ac.uk

https://www.xzhao.me/

Teaching

COMP313 Formal Methods

Supervised Theses

Veriﬁcation and Validation of Machine Learning Safety in Learning-Enabled Autonomous Systems