Teaching Modules for 2024-25 Reasoning About Action and Change Module code: COMP525 Role: Module Co-ordinator Supervised Theses Analysing Safety-Critical Systems and Security Protocols with Abstract State Machines Formal Analysis of Artificial Collectives using Parametric Markov Models