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