- EEL 5632 Safety and Security of Vehicular Electronic Systems, Fall 2025
- EEL4837 Programming For Electrical Engineers II, Spring 2025
- EEL 5934 Formal Methods for Industrial Applications, Fall 2024
- EEL 5632 Safety and Security of Vehicular Electronic Systems, Spring 2024
- Programming for Electrical Engineers II, Fall 2023
- EEL 5632 Safety and Security of Vehicular Electronic Systems, Spring 2023
- EEL4837 Programming For Electrical Engineers II, Fall 2022
- EEL 5632 Safety and Security of Vehicular Electronic Systems, Spring 2022
- EEL4837 Programming For Electrical Engineers II, Fall 2021
- EEL4930 Programming For Electrical Engineers II, Spring 2020
- EEL5764 Computer Architecture , Fall 2019
- EEL5934 Automotive Safety and Security, Spring 2019
- EEL5764 Computer Architecture, Fall 2018
- CS389R Recursion and Induction, Fall 2010 (co-instructor with Warren A. Hunt, Jr.)
- CS395T Industrial Formal Methods, Fall 2009 (co-instructor with Warren A. Hunt, Jr.)
- CS389R Recursion and Induction, Fall 2008 (co-instructor with Warren A. Hunt, Jr.)
