Personal Information:
Associate professor Supervisor of Doctorate Candidates graduate teacher
Academic Titles:教学科研
Teaching Information
Undergraduate Course
| Course Name | School Year | Semester | Required Class Hours | Credits | Course Number |
| Data Structures and Algorithms | 2020-2021 | Spring Term | 40 | 3 | CE203003F |
| Probability Theory and Mathematical Statistics | 2019-2020 | Autumn Term | 40 | 2 | MS006008 |
| Probability Theory and Mathematical Statistics | 2018-2019 | Spring Term | 48 | 3 | MS1008L-18 |
| Compliers | 2017-2018 | Spring Term | 32 | 2 | CE3000 |
| Probability Theory and Mathematical Statistics | 2016-2017 | Spring Term | 48 | 3 | MS1008-18 |
Postgraduate Course
| Course Name | School Year | Semester | Required Class Hours | Credits | Course Number |
| Security Proof Theory and its Verification | 2019-2020 | Autumn Term | 32 | 2 | 1 |