选修课:
Advanced Distributed Systems :先进的分布式系统
Advanced Models and Sets :先进的模型和集
Advanced Proof and Computation :先进的证明和计算
Algorithms :算法 - Coding Theory :编码理论
Combinatorics :组合 - Graph Theory: Structure and Algorithms :图论:结构和算法
Knowledge Representation and Machine Learning: 知识表示和机器学习
Scheduling: 调度
Advanced Mathematical Methods: 先进的数学方法
Advanced Dynamical Systems :先进的动力系统
Advanced Polymeric Fluids :先进的高分子液体
Cloud Computing :云计算
Scientific Computation :科学计算
Scientific Visualisation :科学可视化
Systems Programming :系统编程
必修课:
Dissertation in Mathematics :数学论文
MSc Project :硕士项目