Teaching Modules for 2025-26 Formal Methods Module code: COMP313 Role: Module Co-ordinator Object-Oriented Programming Module code: COMP122 Role: Teaching