Teaching

Washington University in St. Louis:

• CSE 347: Analysis of Algorithms, Instructor, Spring 2024
  
  

• CSE 537T: Trustworthy Autonomy, Instructor, Spring 2023, Fall 2023
  
  

University of Illinois Urbana-Champaign:

• ECE 486 Lab: Control Systems Lab, Teaching Assistant, Spring 2020 and Spring 2021
  
  

• ECE 584: Embedded System Verification, invited lecturer
  
  

American University of Beirut:

• ECE 231: Introduction to Programming in C++ and Matlab (targeted for mechanical and civil engineering students), Teaching Assistant, Fall 2014
  
  

• ECE 230: Introduction to Programming (targeted for electrical and computer engineering students), Teaching Assistant, Fall 2015