Dr Xingyu Zhao PhD Lecturer Computer Science Work email Xingyu.Zhao@liverpool.ac.uk Personal Websitehttps://www.xzhao.me/ About Publications Teaching Teaching COMP313 Formal Methods Modules for 2022-23 Formal Methods Module code: COMP313 Role: Module Co-ordinator About Publications Teaching
