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