Memory Safety and Programming Language Design
Graduate Course, Fudan University, 2025
Teaching Assistant for 安全编程语言设计 (Memory Safety and Programming Language Design), Spring 2024–2025.
A graduate-level course exploring memory safety concepts, programming language design for safety, and formal verification techniques, with a focus on Rust and related technologies.