Year One
Academic year 1920
Compulsory
Autumn
Autumn , Spring and Summer
Autumn and Spring
Spring
- 113 Introduction to Computer Architecture
- 130 Introduction to Databases
- 141 Reasoning about Programs
- 150 Graphs and Algorithms
Summer
Extracurricular
Autumn
Autumn , Spring and Summer
Year Two
Academic year 1920
Compulsory
Autumn
Autumn and Spring
Spring
- 212 Networks and Communications
- 221 Compilers
- 231 Introduction to Model-based Artificial Intelligence
- 245 Probability and Statistics
- 276 Introduction to Prolog
Spring and Summer
Summer
Extracurricular
Autumn , Spring and Summer
Spring
Year Three
Academic year 1920
Compulsory
Autumn and Spring
Spring
Selective Choose the equivalent of between five and six full courses from the list below. Courses whose number ends in H are half courses.
Autumn
- 332 Advanced Computer Architecture
- 333 Robotics
- 337 Simulation and Modelling
- 343 Operations Research
- 382 Type Systems for Programming Languages
- 572 Advanced Databases
Spring
- 303 Systems Verification
- 304 Logic-Based Learning
- 315 Computer Vision
- 317 Graphics
- 318 Custom Computing
- 322 Communicating Computer Science in Schools
- 331 Network and Web Security
- 338 Pervasive Computing
- 339 Performance Engineering
- 347 Distributed Algorithms
Optional Choose the equivalent of between zero and one full courses from the list below. Courses whose number ends in H are half courses.
Autumn and Spring
- 351 External Course
- BUSI96003 Business Economics
- BUSI96005 Project Management
- BUSI96011 Accounting Online
- CLCC60001 Advanced Creative Writing
- ELEC96018 Embedded Systems
Extracurricular
Autumn , Spring and Summer
Year Four
Academic year 1920
Compulsory
Autumn
Autumn , Spring and Summer
Selective 1 Choose the equivalent of between two and seven full courses from the list below. Courses whose number ends in H are half courses.
Autumn
- 404 Separation Logic: Scalable Reasoning about Programs
- 406 Concurrent Processes
- 424 Reinforcement Learning
- 474 Machine Arguing
- 491 Knowledge Representation
- 496 Mathematics for Machine Learning
Spring
- 416 Machine Learning for Imaging
- 433 Advanced Robotics
- 460 Deep Learning
- 490 Natural Language Processing
- 493 Probabilistic Inference
- 499 Modal Logic for Strategic Reasoning in AI
Optional2 Choose the equivalent of between zero and two full courses from the list below. Courses whose number ends in H are half courses.
Autumn and Spring
- 451 External Course 4I
- 452 External Course 4II
- BUSI96001 Entrepreneurship
- BUSI96011 Accounting Online
- BUSI96016 Entrepreneurship
- CLCC00004 French Level 3
- CLCC00020 Japanese Level 3
- CLCC60001 Advanced Creative Writing
- CLCC60004 Contemporary Philosophy
- ELEC97105 Self-Organising Multi-Agent Systems
Spring
Optional1 Choose the equivalent of between zero and five full courses from the list below. Courses whose number ends in H are half courses.
Autumn
- 332 Advanced Computer Architecture
- 337 Simulation and Modelling
- 408 Privacy Engineering
- 410 Scalable Systems and Data
- 422 Computational Finance
- 438 Complexity
- 447 Advanced Computer Security
- 470 Program Analysis
- 471 Advanced Issues in Object Oriented Programming
- 484 Quantum Computing
Spring
- 417 Advanced Computer Graphics
- 440 Software Reliability
- 467 Principles of Distributed Ledgers
- 468 Probabilistic Programming
- 475 Software Engineering for Industry
- 477 Computational Optimisation