Computational Finance：计算金融 MSc Computing Science Specialist Individual Project： MSc计算科学专家个人项目 Simulation and Modelling： 仿真和建模 System Performance Engineering： 系统性能工程 Operations Research： 运筹学 Privacy Engineering： 隐私工程 Reinforcement Learning： 强化学习 Complexity： 复杂性 Principles of Distributed Ledgers： 分布式账本原理 Computational Optimisation： 计算优化 Probabilistic Inference： 概率推理 Mathematics for Machine Learning： 机器学习数学 Introduction to Machine Learning： 机器学习简介 Advanced Databases： 高级数据库 Scheduling and Resource Allocation： 调度和资源分配 Computer Vision： 计算机视觉 Logic Based Learning： 基于逻辑的学习 Graphics： 图形 Custom Computing： 自定义计算 Network and Web Security： 网络和网络安全 Advanced Computer Architecture： 高级计算机体系结构 Robotics： Robotics Distributed Algorithms： 分布式算法 Type Systems for Programming Languages： 编程语言的类型系统 Scalable Software Verification： 可扩展软件验证 Concurrent Processes： 并发过程 Scalable Systems and Data： 可扩展系统和数据 Advanced Computer Graphics： 高级计算机图形 Software Reliability： 软件可靠性 Advanced Computer Security： 高级计算机安全 Deep Learning： 深度学习 Program Analysis： 程序分析 Natural Language Processing： 自然语言处理 Knowledge Representation： 知识表示 Modal Logic for Strategic Reasoning in AI： 人工智能中战略推理的模态逻辑 Prolog： Prolog Independent Study Option： 独立学习选项 Cryptography Engineering： 密码学工程 Robot Learning and Control： 机器人学习与控制