Compulsory

Autumn Term

• 475 Software Engineering for Industry
• 534 Short Introduction to Prolog and Matlab

Spring Term

• 332 Advanced Computer Architecture

Summer Term

• 542 MSc Computing Science (Specialist) Individual Project

Selective - at least four and at most seven from this list

Autumn Term

• 335 Distributed Systems
• 337 Simulation and Modelling
• 481 Models of Concurrent Computation

Spring Term

• 318 Custom Computing
• 338 Pervasive Computing
• 429 Parallel Algorithms
• 436 Performance Analysis
• 484 Quantum Computing

Optional

Autumn Term

• 312 Advanced Databases
• 320 Complex Systems
• 330 Network Security
• 343 Operations Research
• 382 Type Systems for Programming Languages
• 395 Machine Learning
• 418 Computer Vision
• 421 Computational Neurodynamics
• 424 Machine Learning and Neural Computation
• 471 Advanced Issues in Object Oriented Programming
• 477 Computing for Optimal Decisions
• 480 Automated Reasoning
• 499 Modal and Temporal Logic
• 531 Prolog

Spring Term

• 303 Software Engineering - Systems Verification
• 317 Graphics
• 333 Robotics
• 341 Introduction to Bioinformatics
• 417 Advanced Computer Graphics
• 422 Computational Finance
• 437 Distributed Algorithms
• 438 Complexity
• 470 Program Analysis
• 474 Multi-agent Systems
• 491 Knowledge Representation
• 493 Intelligent Data and Probabilistic Inference
• 512 Independent Study Option