Teaching
学然后知不足，教然后知困。——《礼记·学记》
Teaching Assistants
- Structure and Interpretation of Computer Programs (Fall 2025). Nanjing University.
- Structure and Interpretation of Computer Programs (Fall 2024). Nanjing University.
- Software Analysis (Static Program Analysis) (Fall 2024). Nanjing University.
- Software Analysis (Static Program Analysis) (Fall 2023). Nanjing University.