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".