Researcher in Code Generation, RL, Formal and AI Reasoning. Interested in intelligent agent behavior, software engineering, formal reasoning.

UN1002: Computing in Context

Undergraduate Course, Columbia University, 2025

Teaching Assistant, Columbia University — Fall 2025

TA for cs 1002