Computer-Aided Formal Verification (2023 Michaelmas term)
Postgraduate class, University of Oxford, Department of Computer Science, 2023
Teaching
Computer-Aided Formal Verification (2022 Michaelmas term)
Postgraduate class, University of Oxford, Department of Computer Science, 2022
Data Structure and Algorithms (in Python) (2020 Fall)
Undergraduate class, Peking University, School of Mathematical Sciences, 2020
Techniques and Methods for Programming (2020 Spring)
Undergraduate class, Peking University, School of Mathematical Sciences, 2020
Data Structure and Algorithms (in Python) (2018 Fall)
Undergraduate class, Peking University, School of Mathematical Sciences, 2018
Data Structure and Algorithms (in C) (2017 Fall)
Undergraduate class, Peking University, School of Mathematical Sciences, 2017