COMP 481 (undergraduate): Spring 2015 semester. Introduction to Automata Theory, Formal Languages, and Computation.
COMP 481/581 (undergraduate/graduate): Spring 2016, 2018, 2019 semesters. Introduction to Automata Theory, Formal Languages, and Computation.
COMP 382: Fall 2016, 2018, 2019 semesters (with Swarat Chaudhuri); Fall 2017 semester (with Ron Goldman); Fall 2020, 2021 (primary instructor); 2022 (co-instructor with Konstantinos Mamouras). Reasoning About Algorithms.
COMP 182: Spring 2017, 2018, 2019, 2021, 2022 semesters (with Luay Nakhleh); Fall 2022(with Keith Cooper); Spring 2023 (Section 1). Algorithmic Thinking.
COMP 412: Fall 2019-2022 semesters (with Keith Cooper). Compiler Construction.
COMP 506: Spring 2020-2023 semesters. Compiler Construction (MCS students).
COMP 582: Fall 2021 (with Chris Jermaine). Design and Analysis of Algorithms (MCS students).