Teaching🔗

Here is the list of courses I have taught or am teaching.

• 2024 Winter 2 (Jan–May. 2025), CPSC 411, Introduction to Compiler Construction

• 2023 Winter 1 (Sep–Dec. 2023), CPSC 539B, Topics in Programming Languages - Dependent Types

• 2022 Winter 2 (Jan–Apr. 2023), CPSC 539B, Topics in Programming Languages - Implementing Type Systems

• 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