Teaching

Vanderbilt University

Computer Networks (CS4283 / CS5283): Fall 2021 (online), Spring 2020 (online), Spring 2018

Introduction to Engineering, Computer Science Modules (ES1401/ES1402/ES1403): Fall 2023, Fall 2022, Fall 2021, Fall 2020, Fall 2019, Fall 2018, Fall 2017

Automated Verification (CS6315): Spring 2023 (in person and online sections), Spring 2022 (in person and online sections), Spring 2021, Spring 2019, Spring 2017

Machine Learning Verification (CS8395): Spring 2020

Vanderbilt Visions (VUcept) First-Year Seminar: 2021, 2020, 2019, 2018, 2017

Digital Systems (EECE2123): Fall 2019

Discrete-Event Systems: Supervisory Control and Diagnosis (CS6375): Fall 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)