Teaching

ENG EC545: Cyber-Physical Systems — Fall 2019

  • Graduate course on embedded and cyber-physical systems.
  • This course introduces students to the principles underlying the design and analysis of cyber-physical systems (CPSs). A strong emphasis is put on building high-assurance systems with real-time and concurrent behaviors. Topics covered include modeling of dynamical behaviors, design of CPSs, and specification and analysis of CPSs. [syllabus]

ENG EC330: Applied Algorithms for Engineers — Fall 2018, Spring 2020

  • Undergraduate course on algorithms.
  • Introduction to the general concept of algorithms. Efficiency and run-time of algorithms. Graph algorithms, priority queues, search trees. Various approaches to design of algorithms and data structures, together with their applications to numerical and non-numerical problems. [syllabus]

ENG EC754: Computer-Aided Verification and Synthesis — Fall 2017, Fall 2020

  • Advanced graduate course on computer-aided verification and synthesis.
  • The topics covered include formal specifications, modeling formalisms, verification techniques, inductive synthesis, and emerging applications such as autonomous robots and vehicles. [syllabus]

ENG EC535: Introduction to Embedded Systems — Spring 2017

  • Graduate course on embedded systems.
  • The topics covered include system specification languages, embedded computer architecture, real-time operating systems, hardware-software co-design, modeling formalisms, verification techniques, and embedded system applications. [syllabus]

ENG EC551: Advanced Digital Design with Verilog and FPGA — Fall 2016

  • Graduate course on digital design and computer-aided design algorithms for FPGAs.
  • The topics covered include hardware description language (Verilog), specification, design, simulation, verification and synthesis of digital designs on FPGAs. [syllabus]