面向对象程序设计中的前沿问题
Advanced Issues in Object Oriented Programming
并发进程
Concurrent Processes
信息和编码理论
Information and Coding Theory
隐私增强技术
Privacy Enhancing Techniques
分离逻辑:程序的局部推理
Separation Logic: Local Reasoning about Programs
软件可靠性
Software Reliability
程序设计语言的类型系统
Type Systems for Programming Languages
计算优化
Computational Optimisation
动力系统与深度学习
Dynamical Systems and Deep Learning