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

Posts by Collection

portfolio

Published: October 18, 2025

Short description of portfolio item number 1

Published: October 18, 2025

Short description of portfolio item number 2

Published: March 01, 2012

This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!

Published: March 01, 2013

Published: February 01, 2014

Published: March 01, 2014

This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.

Undergraduate Course, Columbia University, 2023

Course Assistant, Columbia University — Fall 2023

Undergraduate Course, Columbia University, 2024

Course Assistant, Columbia University — Spring 2024

Undergraduate Course, Columbia University, 2025

Teaching Assistant, Columbia University — Fall 2025