Teaching

University of Pennsylvania

• Spring 2024 TA for CIS 7000: Special Topics: Trustworthy Machine Learning
• Fall 2023 TA for CIS 5000: Software Foundations

Cornell University

• Spring 2022 TA for CS 4160/5160: Formal Verification
• Fall 2021 TA for CS 3110: Data Structures and Functional Programming
• Spring 2021 TA for CS 4820: Introduction to Analysis of Algorithms
• Fall 2020 TA for CS 4820: Introduction to Analysis of Algorithms
• Spring 2020 TA for CS 3110: Data Structures and Functional Programming
• Fall 2019 TA for CS 3110: Data Structures and Functional Programming