@software.nju.edu.cn 的课程长期招聘助教, 欢迎本科生/研究生与我联系。
CPL: The C Programming Language (@software.nju.edu.cn)
2021 Fall [Lectures] [OJ (Private)] [Videos] [Resources]
2022 Fall [docs.cpl.icu]
2023 Fall [docs.cpl.icu]
2024 Fall [docs.cpl.icu] (Stay Tuned)
Compilers (@software.nju.edu.cn)
2020 Fall [Lectures] [Problem Set] [Labs (Private)]
2021 Fall [Lectures] [Problem Set] [Labs] [Labs (Private)] [Videos] [Resources]
2022 Fall [docs.compilers.icu]
2023 Spring [docs.compilers.icu]
2024 Spring [docs.compilers.icu] (Stay Tuned)
Discrete Mathematics (@software.nju.edu.cn)
2021 Spring [Lectures] [Problem Set] [Videos] [Resources]
Problem Solving (@cs.nju.edu.cn)
2017 Spring (IV)
2017 Fall (I), 2018 Spring (II), 2018 Fall (III), 2019 Spring (IV)
2019 Fall (I), 2020 Spring (II)
[Lectures] [Problem Set] [Tutorials] [Coq]