- Data Science Programming: Fall, 2024, University of Wisconsin - Madison.
- Programming III: Spring, 2024, University of Wisconsin - Madison.
- Foundations of Mobile Systems and Applications: Fall, 2023, University of Wisconsin - Madison.
- Software Analysis and Verification: Spring, 2022, Tsinghua University.