• CSE 410—Special Topics (Fall 2020)
• CSE 449—Software Verification (Spring 2020)
• CSE 505—Fundamentals of Programming Languages (Spring 2021, Spring 2019, Spring 2018, Spring 2017)
• CSE 520—Embedded Architectures (Spring 2017)
• CSE 522—Object Oriented Analysis, Design and Implementation (Fall 2020, Fall 2019, Fall 2018, Fall 2017, Fall 2016)
• CSE 549—Software Verification (Spring 2020)
• CSE 715—Seminars (Fall 2020, Fall 2019, Spring 2019, Spring 2018, Spring 2017)
• EE 516—Introduction to DSP (Fall 2021, Spring 2021, Fall 2020, Spring 2020, Fall 2019, Spring 2019, Fall 2018, Spring 2018, Fall 2017, Spring 2017, Fall 2016)