Introduction to computing
Introductory course on computer hardware systems for freshmen and sophomores. Syllabus and class website can be found here.
This senior level class teaches practically efficient algorithms for logic synthesis and verification that are in use in contemporary industry. It includes automatic methods for combinational and sequential design synthesis and equivalence checking, automatic test generation and technology mapping.
Scalable system Verification
Graduate course on formal verification and simulation based verification algorithms for hardware and embedded systems. This covers aspects of digital and analog verification.
Introduction to Big Data
This class is co-taught by several faculty members. I offered the course with feature extraction and feature engineering modules.