Year 3

• MC301 Formal Software Specifications
• MC306 Programming Concurrent Computer Systems
• MC307 Communication and Concurrency
• MC308 Semantics of Programming Languages
• MC312 Computer Science Project 1
• MC313 Computer Science Project 2
• MC314 Mathematics and Computer Science Project
• MC315 Expert Systems and Deductive Databases
• MC316 Parallel and Distributed Computing
• MC320 Modelling Biological Systems
• MC341 Group Theory
• MC342 History of mathematics
• MC346 Communicating Mathematics
• MC347 Coding Theory
• MC361 Generalized Linear Models
• MC380 Ordinary Differential Equations
• MC381 Modelling physical systems
• MC382 Abstract Algebra
• MC383 Complex Analysis