New course in Spring 2027
COSC-107: Creating with Generative AI
As generative AI makes it possible to interact with computers through everyday language, it opens up new ways of approaching problems, developing ideas, and creating things. Using generative AI effectively depends on how well we formulate problems, articulate what we want, evaluate results, and make adjustments. In this course, students will learn how to turn vague goals into clear instructions, break complex tasks into manageable parts, evaluate what AI produces, and improve results through testing and revision. We will also explore how chatbots and AI assistants do what they do, why they sometimes succeed or fail, and how they can be used thoughtfully in writing, research, creative work, planning, and everyday problem-solving. In addition, we will discuss the societal implications and ethical considerations that arise from their use. No technical background is expected or required.

COSC-113 Programming, Problem Solving, and Proofs
Fall 2026, Amherst College

COSC-227 Neural Safety Net
Fall 2025, Amherst College

COSC-345 Automated Reasoning
Spring 2025, Amherst College

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

COSC-241 Artificial Intelligence
Fall 2026, Spring 2026, Fall 2024, Amherst College

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