Teaching Assistant

Formal Verification and Control of Dynamical Systems (Graduate, ROAS 5120) HKUST-GZ, Fall 2026
Applied Statistics (Undergraduate, UFUG 2104) HKUST-GZ, Spring 2026
Discrete Mathematics (Undergraduate) XMU, Spring 2023