Teaching

Spring 2018: 

  • ECE 590 - Cyber-Physical Systems Design 

Fall 2017: 

  • ECE 459 - Introduction to Embedded Systems

Spring 2017: 

  • ECE 590 - Formal Methods for Cyber-Physical Systems 

Fall 2016: 

  • ECE 459 - Introduction to Embedded Systems

Fall 2015: 

  • ECE 590 - Cyber-Physical Systems Design