Teaching

Vanderbilt University

Vanderbilt Visions (VUcept) Freshman Seminar: Fall 2017

Introduction to Engineering, Computer Science Modules (ES1401/ES1402/ES1403): Fall 2017

Discrete-Event Systems: Supervisory Control and Diagnosis (CS6375: Fall 2017)

Automated Verification (CS6315: Spring 2017)

Computer Organization (CS2231: Fall 2016)

University of Texas at Arlington

Automated Software Engineering (CSE6323: Fall 2015)

Mobile Systems Engineering (CSE4340 / CSE5349 [Special Topics in Networking]: Spring 2015)

Computer Organization and Assembly Language Programming (CSE2312: Fall 2014, Fall 2013)

Cyber-Physical Systems: Special Topics in Advanced Systems and Architecture (CSE6359: Spring 2014)

University of Connecticut, United Technologies Corporation (UTC) Institute for Advanced Systems Engineering (IASE)

Formal Methods (SE5302: Summer 2015; adjunct faculty, main instructor)

University of Illinois at Urbana-Champaign

Introduction to Computing Systems (ECE190: Spring 2010, Spring 2009; teaching assistant)

Introduction to Electrical and Computer Engineering (ECE110: Fall 2008; teaching assistant)