• CSCI 599: Autonomous Cyber-Physical Systems, Spring 2018
  • CSCI 699: Formal Methods for Cyber-Physical Systems, Fall 2018
  • CSCI 599: Autonomous Cyber-Physical Systems, Spring 2019
  • CSCI 103L: Introduction to Programming, Fall 2019
  • CSCI 513: Autonomous Cyber-Physical Systems, Fall 2020