Rensselaer Polytechnic Institute

  • Spring 2024 -- Foundations of Computer Science (CSCI 2200)
  • Fall 2023 -- Reinforcement Learning (CSCI 4963/6963)
  • Spring 2023 -- Safe Autonomy (CSCI 4965/6965)
  • Fall 2022 -- ML for Autonomous Systems (CSCI 4963/6963)
  • Spring 2022 -- Safe Autonomy (CSCI 4965/6965)

University of Pennsylvania

  • Guest Lecturer (two lectures on Neural Network Verification), ESE 680: Safe Learning for Control (Spring 2019)
  • Guest Lecturer (two lectures on Neural Network Verification), CIS 700: Topics in Safe Autonomy (Spring 2019)
  • Guest Lecturer (two lectures on Formal Methods), CIS 541: Embedded Software for Life-Critical CPS/IoT Applications (Fall 2018)
  • Instructor, CIT 590: Programming Languages and Techniques (Fall 2017)
  • Teaching Assistant, CIS 400: Senior Project (Fall 2012, Spring 2013, Fall 2013, Spring 2014, Fall 2014, Spring 2015)

Colgate University

  • Teaching Assistant, ECON 375: Applied Econometrics (Spring 2010)
  • Teaching Assistant, CS 102: Intro to Computing II (Spring 2009)
  • Teaching Assistant, CS 101: Intro to Computing (Fall 2008)