专业课笔记
软件设计

CS264: Software Design

2023/09/01 - 2024/01/18
软件验证

CS357: Software Verification

2023/09/01 - 2024/01/09
计算机网络

CS320: Computer Network

2023/09/01 - 2024/01/16
操作系统同步与并发

CS240: Operating Systems, Communications and Concurrency

2023/03/01 - 2023/06/19
软件工程与软件过程

CS335: Software Engineering and Software Process

2023/03/01 - 2023/06/21
软件测试

CS265: Software Testing

2022/09/01 - 2022/12/30
计算机结构

CS220 & CS253: Computer Architecture

2022/09/01 - 2023/07/04
算法与数据结构

CS210 & CS211: Algorithms and Data Structure

2022/09/01 - 2023/07/06
计算理论 / 计算与复杂性 / 程序语言设计和编译

CS355: Theory of Computation & CS370: Computation and Complexity & CS310: Programme Languages and Compilers

2022/09/01 - 2024/01/05