Compulsory

Autumn Term

• 395 Machine Learning
• 424 Machine Learning and Neural Computation
• 534 Short Introduction to Prolog and Matlab

Spring Term

• 493 Intelligent Data and Probabilistic Inference

Summer Term

• 510 Ethics in Computing
• 542 MSc Computing Science (Specialist) Individual Project

Selective - at least three and at most six from this list

Autumn Term

• 320 Complex Systems
• 418 Computer Vision
• 421 Computational Neurodynamics
• 531 Prolog

Spring Term

• 333 Robotics
• 341 Introduction to Bioinformatics
• 422 Computational Finance

Optional

Autumn Term

• 312 Advanced Databases
• 330 Network Security
• 335 Distributed Systems
• 337 Simulation and Modelling
• 343 Operations Research
• 382 Type Systems for Programming Languages
• 471 Advanced Issues in Object Oriented Programming
• 475 Software Engineering for Industry
• 477 Computing for Optimal Decisions
• 480 Automated Reasoning
• 481 Models of Concurrent Computation
• 499 Modal and Temporal Logic

Spring Term

• 303 Software Engineering - Systems Verification
• 317 Graphics
• 318 Custom Computing
• 332 Advanced Computer Architecture
• 338 Pervasive Computing
• 417 Advanced Graphics and Visualisation
• 429 Parallel Algorithms
• 436 Performance Analysis
• 437 Distributed Algorithms
• 438 Complexity
• 470 Program Analysis
• 474 Multi-agent Systems
• 484 Quantum Computing
• 491 Knowledge Representation
• 512 Independent Study Option