COSC-227 Neural Safety Net
Fall 2025, Amherst College
COSC-345 Automated Reasoning
Spring 2025, Amherst College
COSC-111 Introduction to Computer Science I
Fall 2025, Spring 2025, Fall 2024, Amherst College
COSC-241 Artificial Intelligence
Fall 2024, Amherst College
CS257 Introduction to Automated Reasoning
Fall 2023, Fall 2022, Stanford University
CS357 Formal Methods for Computer Systems
Fall 2021, Stanford University
CS243 Program Analysis and Optimizations
Winter 2020, Stanford University