teaching
2026, TA, 15-712 Advanced and Distributed Operating Systems (Fall), CMU
2024, TA, 18-746 Storage Systems (Fall), CMU
2021, TA, Mathematical Logic (Spring), USTC
2026, TA, 15-712 Advanced and Distributed Operating Systems (Fall), CMU
2024, TA, 18-746 Storage Systems (Fall), CMU
2021, TA, Mathematical Logic (Spring), USTC