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

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

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