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 Modules for 2022-23 Formal Methods Module code: COMP313 Role: Module Co-ordinator Supervised ThesesVerification and Validation of Machine Learning Safety in Learning-Enabled Autonomous Systems