teaching

This page lists my current and past teaching.

Current

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

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

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

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

Past

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

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

  • Advanced Mathematics (2020 Spring, XMU Malaysia)

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

  • Engineering Mathematics III (2019 Fall, XMU Malaysia)

  • Multivariable Calculus (2020 Spring, XMU Malaysia)

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

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

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