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