teaching

2024, TA, 18-746 Storage Systems (Fall), CMU

2021, TA, Mathematical Logic (Spring), USTC