## Current teaching

- Since Year 2022/23 Semester 2, I have been lecturer for CS1231 Discrete Structures.
- Since Year 2021/22 Semester 1, I have been module coordinator for HS1501 Artificial Intelligence and Society. The lecturer has been Assoc. Prof. Yu Chien Siang.

Students can find more information on Canvas.

## Previous teaching

At the National University of Singapore, I was

- a co-lecturer for MA1101R Linear Algebra I with Assoc. Prof. Dilip Raghavan in Semester 2 of Year 2019/20;
- module coordinator and a lecturer for MA1512 Differential Equations for Engineering in Semester 2 of Year 2019/20, and in Semester 1 and Semester 2 of Year 2020/21;
- a co-lecturer for CS1231 Discrete Structures with Dr. Colin Tan in Semester 1 of Year 2019/20;
- module coordinator and a co-lecturer for CS1231 Discrete Structures with Assoc. Prof. Aaron Tan Tuck Choy in Semester 2 of Year 2020/21;
- a co-lecturer for CS1231 Discrete Structures with Prof. Tay Yong Chiang in Semester 1 of Year 2021/22 and Year 2022/23;
- module coordinator and lecturer for CS1231 Discrete Structures in Semester 2 of Year 2021/22;
- a co-lecturer for CS1231S Discrete Structures with Assoc. Prof. Aaron Tan Tuck Choy in Semester 1 and Semester 2 of Year 2020/21 and in Semester 1 of Year 2021/22;
- a co-lecturer for MA4207 Mathematical Logic with Assoc. Prof. Yang Yue in Semester 2 of Year 2010/11;
- lecturer for MA5219 Logic and Foundation of Mathematics I in Semester 1 of Year 2018/19;
- a small group teacher for MA1511 Engineering Calculus under Dr. Ng Wee Seng in Semester 1 of Year 2019/20;
- a small group teacher for MA1512 Differential Equations for Engineering under Prof. Brett McInnes in Semester 1 of Year 2019/20; and
- a tutor for MA1102R Calculus under Prof. Goh Say Song in Semester 1 of Year 2010/11.

At the University of Vienna, I was lecturer for a course on the model theory of arithmetic in the Winter Semester of 2014.

At Ghent University, I was a co-lecturer for the course C003011 Mathematical Logic II (with Dr. Jeroen Demeyer) in Semester 2 of the Academic Year 2012/13. I was responsible for the half on set-theoretic forcing.

I did teaching assistant work for undergraduate courses at the School of Mathematics in the University of Birmingham. These courses include:

- MSM1Aa Core Mathematics (on first-year algebra and calculus);
- MSM1Ba Foundation and Abstraction (on modular arithmetic, axiomatic mathematics, logical thinking and mathematics writing);
- MSM1Cb Computational Mathematics;
- MSM1Da Applicable Mathematics (on basic counting and probability);
- MSM2Bb Complex Variable Theory;
- MSM2Cb Programming in C++;
- MSM3P17/4P17 Logic (on completeness theorems and their applications).

In the summers of 2005 and 2006, I worked as a junior teaching assistant at the Chinese University of Hong Kong for the Enrichment Programme for Young Mathematics Talents (EPYMT).