Teaching
Here is the list of courses I have taught or am teaching.
-
2023 Winter 1 (Sep–Dec. 2023), CPSC 539B, Topics in Programming Languages - Dependent Types
-
2022 Winter 2 (Jan–Apr. 2023), CPSC 411, Introduction to Compiler Construction
-
2021 Winter 2 (Jan–Apr. 2022), CPSC 411, Introduction to Compiler Construction
-
2021 Winter 1 (Sep–Dec. 2021), CPSC 110, Computation, Programs, and Programming
-
2020 Winter 2 (Jan–Apr. 2021), CPSC 411, Introduction to Compiler Construction
-
2020 Winter 1 (Sep–Dec. 2020), CPSC 509, Programming Language Principles
-
2019 Winter 2 (Jan–Apr. 2020), CPSC 539B, Topics in Programming Languages: Compiler Theory
-
2018 Winter 2 (Jan–Apr. 2019), CPSC 539B, Topics in Programming Languages: Compiler Theory