Teaching
- Mathematical Logic, spring semester, 2019, 2022
- teaching assistant at PKU
- Delivered lectures
- assignments and exams
- F&Q
- Set Theory and Graph Theory, fall semester, 2018, 2021
- teaching assistant at PKU
- Assignments and exams
- F&Q
- Probability and Statistics, Sept. 2015 – June 2016
- student lecturer at USTB
- Delivered lectures and F&Q one time per two weeks