- Spring 2016: Embedded Real-Time Control Systems (ENGR 5910)
- Fall 2016: Object Oriented Programming and Design (SOFE 2710)
- Winter 2017: Software Quality (SOFE 3980)
- Winter 2017: Embedded Systems (SOFE 4590)
- Fall 2017: Embedded Systems (SOFE 4590)
- Fall 2017: Systems Programming (SOFE 3200)
- Winter 2018: Software Quality (SOFE 3980)
- Winter 2018: Safety-Critical Software Systems (ENGR 5005G)