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)