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
• MC322 Modelling physical systems
• MC323 Ordinary Differential Equations
• MC340 Number Theory
• MC341 Group Theory
• MC342 History of mathematics
• MC344 Abstract Algebra
• MC346 Communicating Mathematics
• MC347 Coding Theory
• MC349 Complex Analysis
• MC360 Stochastic Modelling
• MC361 Generalized Linear Models