Teaching

Australian National University

Guest lecturer

• COMP1130 Programming as Problem Solving (Advanced), Semester 1 2022

Tutor

• COMP4630 Overview of Logic and Computation, Semester 2 2022
• Mathematical Analysis 1 and 2 (intensive courses for Shandong University), Summer Session 2020
• COMP1600 Foundations of Computing, Semester 2 2020
• MATH2301 Games, Graphs and Machines, Semester 2 2020
• MATH1005 Discrete Mathematical Models, Semester 1 2020
• MATH2222 Introduction to Mathematical Thinking: Problem-Solving and Proofs, Semester 1 2019