Teaching

Carnegie Mellon University

Formal Methods & Advanced Formal Methods

Fall 2023: Teaching Assistant

○ Graduate-level compulsory course of MSE program, taught by Prof. David Garlan and Prof. Eunsuk Kang.

ShanghaiTech University

Algorithms and Data Structures

Fall 2021, Fall 2020: Teaching Assistant

○ Undergraduate-level core course of CS major, taught by Prof. Dengji Zhao, Prof. Yuyao Zhang, Prof. Zhihao Jiang.
○ I manage the TA team and course logistics (including Piazza and GradeScope).
○ I hold weekly discussion session and office hours for review and Q&A, create and grade homeworks and exams.

Software Engineering

Spring 2021: Teaching Assistant

○ Undergraduate-level introduction to software engineering, taught by Prof. Zhihao Jiang and Prof. Yutian Tang.
○ I mentored groups of students working on course projects, designed and graded projects and exams.
○ I was honored with "2021 SIST Outstanding Teaching Assistant".