Rensselaer Polytechnic Institute

• Fall 2024 -- Reinforcement Learning (CSCI 4963/6963, ECSE 4965/6965)
• 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)