Dr Xingyu Zhao PhD Lecturer Computer Science Work email Xingyu.Zhao@liverpool.ac.uk Personal Websitehttps://www.xzhao.me/ About Research Publications Teaching Teaching COMP313 Formal Methods Supervised ThesesVerification and Validation of Machine Learning Safety in Learning-Enabled Autonomous Systems