Dr Qiyi Tang Lecturer Computer Science Work email Qiyi.Tang@liverpool.ac.uk Personal Websitehttps://sites.google.com/view/qiyitang/ ORCID0000-0002-9265-3011 ORCID About Publications Teaching Teaching Modules for 2023-24 Formal Methods Module code: COMP313 Role: Module Co-ordinator