teaching

This page lists my current and past teaching.

Current

  • Algorithms (114-2, 113-2, NTUT)

  • Compilers (115-1, 114-1, 113-1, NTUT)

  • Computational Logic and Software Verification (114-2, 113-1, 112-2, NTUT)

  • Formal Languages (115-1, 114-1, 113-1, 112-2, NTUT)

Past

  • as TA, Theoretical Aspects of Modern Cryptography (2021 Spring, 2022 Spring, 2023 Spring, NTU CSIE)

  • as Instructor, Calculus A (2017-2018, NTU Mathematics; 2020 Spring, XMU Malaysia)

  • as Instructor, Advanced Mathematics (2020 Spring, XMU Malaysia)

  • as Instructor, Algebra and Analytic Geometry (2019 Fall, XMU Malaysia)

  • as Instructor, Engineering Mathematics III (2019 Fall, XMU Malaysia)

  • as Instructor, Multivariable Calculus (2020 Spring, XMU Malaysia)

  • as TA, Fourier Analysis for Physics (2014 Spring, Universite Paris-Sud Orsay)

  • as TA, WIMS Session for Linear Algebra (2014 Spring, Universite Paris-Sud Orsay)

  • as TA, S1 Mathematics (2013 Fall, Universite Paris-Sud Orsay)