分离逻辑：程序的局部推理

Separation Logic: Local Reasoning about Programs

软件可靠性

70024

Software Reliability

高级计算机架构

COMP70086

Advanced Computer Architecture

面向对象编程中的高级问题

Advanced Issues in Object Oriented Programming

高级统计机器学习和模式识别

Advanced Statistical Machine Learning and Pattern Recognition

复杂性

70005

Complexity

并发过程

Concurrent Processes

数据分析和概率推理

Data Analysis and Probabilistic Inference

分布式算法

Distributed Algorithms

基于逻辑的学习

Logic-Based Learning

机器学习

Machine Learning

机器学习数学

70015

Mathematics for Machine Learning

模态逻辑

Modal Logic

性能工程

Performance Engineering

分权账本原则

Principles of Decentralized Ledgers

概率模型检查与分析

Probabilistic Model Checking and Analysis

量子计算

70021

Quantum Computing

可扩展的分布式系统设计

Scalable Distributed Systems Design

工业软件工程

70025

Software Engineering for Industry

系统验证

System Validation

编程语言的类型系统

Type Systems for Programming Languages

高级计算机图形学

70001

Advanced Computer Graphics

仿真与建模

Simulation and Modelling

机器人技术

Robotics

普适计算

Pervasive Computing

行动调查

Operations Research

绘图

Graphics

动力系统和深度学习

Dynamical Systems and Deep Learning

定制计算

Custom Computing

计算机视觉

Computer Vision

计算金融

70006

Computational Finance

论证和多主体系统

Argumentation and Multi-agent Systems

高级数据库

Advanced Databases