List of Courses
Academic year 1718
Compulsory
Autumn
Summer
Selective1: Choose the equivalent of between one and two full courses from the list below. Courses whose number ends in H are half courses.
Autumn and Spring
Spring
Selective2: Choose the equivalent of between five and eight full courses from the list below. Courses whose number ends in H are half courses.
Autumn
- 404H Separation Logic: Local Reasoning about Programs (Half Course)
- 406H Concurrent Processes (Half Course)
- 407H Medical Image Computing (Half Course)
- 408H Privacy Enhancing Techniques (Half Course)
- 424H Reinforcement Learning (Half Course)
- 438 Complexity
- 440 Software Reliability
- 445H Advanced Security (Half Course)
- 450 Dynamical Systems and Deep Learning
- 471 Advanced Issues in Object Oriented Programming
- 477 Computational Optimisation
- 484 Quantum Computing
- 491 Knowledge Representation
- 496 Mathematics for Machine Learning
- 499H Modal Logic (Half Course)
Spring
- 409 Cryptography Engineering
- 410H Scalable Distributed Systems Design (Half Course)
- 412H Large Scale Data Management (Half Course)
- 415H Body Sensor Networks in the Internet of Things (Half Course)
- 417 Advanced Computer Graphics
- 422 Computational Finance
- 433 Advanced Robotics
- 436H Performance Engineering (Half Course)
- 467H Principles of Decentralized Ledgers (Half Course)
- 469 Probabilistic Model Checking and Analysis
- 474 Argumentation and Multi-agent Systems
- 493 Data Analysis and Probabilistic Inference
- 495 Advanced Statistical Machine Learning and Pattern Recognition
- 512 Independent Study Option
Optional: Choose the equivalent of between zero and two full courses from the list below. Courses whose number ends in H are half courses.
Autumn
- 316 Computer Vision
- 349 Information and Coding Theory
- 382 Type Systems for Programming Languages
- 572 Advanced Databases
Spring
- 303 Systems Verification
- 304 Logic-Based Learning
- 318 Custom Computing
- 331 Network and Web Security
- 332 Advanced Computer Architecture
- 347 Distributed Algorithms
Unknown Term
Regulations