I am on 2026-2027 industry job market (research scientist, MTS), looking to start March-May 2027!

Hello, welcome to my homepage! I am a 5th year (Fall 2022 - present) Computer Science Ph.D. candidate at Columbia, where I am affiliated with Columbia Core AI Lab. My advisors are Josh Alman and Alexandr Andoni. I graduated from UC San Diego in June 2022 with a B.S. in Mathematics and a minor in Computer Science. During undergrad I worked with Chris Umans and Max Hopkins.

Research interests 

• • Most recently I have been working on post-training for LLMs (RL, OPD, SFT) and various downstream applications including autoformalization, reasoning and agents.

  • I have worked on algorithm design, fine-grained complexity theory, LLM expressivity.

Pipeline Math Project: Before GPT 5.6 came out, we built an agentic pipeline that solves Erdős problem 477/1038, a few COLT open problems and a few commutative algebra open problems from Cahen–Fontana–Frisch–Glaz! Check out Pipeline Math for details! 

Industry Experiences

• • (Nov 2026 to present) Student Researcher at Google Platform and Devices team, hosted by Shiyu Zhang. Working on distillation for AI smartglasses🥸.

  • (June 2026 to Sep 2026) Applied scientist intern at amazon Automated Reasoning group. Worked with Udaya Ghai and Sandy Han on On-Policy Context Distillation in NeuroSymbolic AI and autoformalization.

  • (Feb 2025 to Aug 2026) Student researcher at Google Algorithms and Optimization group in spring/summer 2026, hosted by Clayton Sanford and Jean Pouget-Abadie. Worked on cross-tokenizer distillation.