Spring 2025-2026, Shandong University
Operating Systems
Instructor for the Operating Systems course.
Teaching
Courses and student training
Courses I teach and my student-training activities.
Fall 2024, Teaching Assistant, Tsinghua University
Domain Specific Language Design
Supported course organization, office hours, homework grading, and project evaluation for 84 students.
Spring 2024, Teaching Assistant, Tsinghua University
Discrete Mathematics (2)
Supported regular office hours and homework grading for a class of 149 students.
Fall 2023, Teaching Assistant, Tsinghua University
Domain Specific Language Design
Supported tutorials, assignments, project grading, and feedback to improve course design for 87 students.
Fall 2020, Teaching Assistant, ShanghaiTech University
Theory of Computation
Supported office hours, homework grading, exam grading, and recitation sessions for 51 students.