AI Systems · Automated Reasoning · Backend Engineering

I'm a Computer Science and Mathematics student at Amherst College, graduating in May 2027. I build AI applications and research how to evaluate and verify the code they generate.

Previously, I worked on distributed file operations and AI-powered content workflows at Box. My research spans text-to-SQL evaluation, verified code generation, and software engineering agents.

LinkedIn · Google Scholar · Email

Can two patches pass the same tests and still behave differently? My thesis explores this question through iterative patch generation and behavioral test synthesis, with inspectable results from a 100-instance experiment.

Combines schema-aware SQL generation with bounded equivalence checking using veriEQL. Synthesized counterexample databases help identify incorrect queries that execution on a single database can miss.

Python · SQL · SMT Solving · LLM Evaluation

Investigates language identification and part-of-speech tagging in English-Spanish code-switched text. Compares single-task, sequential, and multi-task transformer training, including uncertainty-based loss weighting.

PyTorch · Hugging Face Transformers · Multilingual NLP

A full-stack application for email classification, reply generation, and PDF analysis, connecting a Flask backend with a Next.js frontend and Gemini-powered processing.

Python · Flask · Next.js · TypeScript · Gemini

Languages: Python, Java, SQL, C/C++, TypeScript
AI & Evaluation: LangGraph, LangChain, MCP / FastMCP, LangSmith, PyTorch, SMT Solvers
Backend & Infrastructure: FastAPI, PostgreSQL, Redis, Docker, HPC