COSC-227 Neural Safety Net
Instructor
Fall 2025, Amherst College

COSC-345 Automated Reasoning
Instructor
Spring 2025, Amherst College

COSC-111 Introduction to Computer Science I
Instructor
Fall 2025, Spring 2025, Fall 2024, Amherst College

COSC-241 Artificial Intelligence
Instructor
Fall 2024, Amherst College

CS257 Introduction to Automated Reasoning
Co-instructor with Prof. Caroline Trippel
Fall 2023, Fall 2022, Stanford University

CS357 Formal Methods for Computer Systems
Teaching Assistant (Instructor: Prof. Caroline Trippel)
Fall 2021, Stanford University

CS243 Program Analysis and Optimizations
Teaching Assistant (Instructor: Prof. Monica Lam)
Winter 2020, Stanford University