• CS4269/CS5469 Foundations of Logic in Computer Science
    Semester II, 2021–22
    Semester II, 2022–23
    Semester II, 2023–24
    Semester I, 2024–25
    Semester II, 2025–26

  • CS4211 Formal Methods for Software Engineering
    Semester I, 2024–25

  • CS2040 Data Structures and Algorithms
    Semester I, 2023–24

  • CS6217 Topics in Programming Languages & Software Engineering
    Semester I, 2022–23 (Theme: Automata and Decidability)
    Semester I, 2024–25 (Theme: PL for ML and ML for PL)