Software Engineering for Industry：工业软件工程 MSc Computing Specialist Individual Project： MSc计算专家个人项目 Network and Web Security： 网络和网络安全 System Performance Engineering： 系统性能工程 Distributed Algorithms： 分布式算法 Scalable Software Verification： 可伸缩软件验证 Privacy Engineering： 隐私工程 Scalable Systems and Data： 可伸缩系统和数据 Software Reliability： 软件可靠性 Advanced Computer Security： 高级计算机安全 Principles of Distributed Ledgers： 分布式账本原理 Program Analysis： 程序分析 Modal Logic for Strategic Reasoning in AI： AI中战略推理的模态逻辑 Cryptography Engineering： 密码学工程 Scheduling and Resource Allocation： 调度和资源分配 Group： 组 Computer Vision： 计算机视觉 Logic Based Learning： 基于逻辑的学习 Graphics： 图形 Custom Computing： 自定义计算 Advanced Computer Architecture： 高级计算机体系结构 Advanced Computer Graphics： 高级计算机图形 Computational Finance： 计算金融 Reinforcement Learning： 强化学习 Complexity： 复杂性 Deep Learning： 深度学习 Computational Optimisation： 计算优化 Natural Language Processing： 自然语言处理 Knowledge Representation： 知识表示 Probabilistic Inference： 概率推理 Mathematics for Machine Learning： 机器学习数学 Independent Study Option： 独立学习选项 Introduction to Machine Learning： 机器学习简介 Robot Learning： 机器人学习 Machine Learning for Imaging： 成像机器学习 Quantum Computing： 量子计算