AI Software Engineer @ Cadence Design Systems · Independent Researcher
I build agentic AI systems for chip design by day, and study how AI reshapes science, elections, and markets by night.
Software Engineer II, Cadence Design Systems (2025–present · San Jose)
- 🤖 PG Agent — LLM-powered power-grid routing: from 1,000+ lines of manual scripting to near zero
- 💾 ChipRTL — LLM + RAG + MCP for automated RTL code generation via high-level synthesis
- 🧩 Innostack — business-unit-wide AI platform unifying Cadence tools through natural language
Previously: Software Developer Intern @ Cadence (RAG pipeline for the JedAI LLM), @ AirMettle (patent co-author, video processing), Research Assistant @ Georgia Tech.
🎓 B.S. Georgia Tech (Math + CS) · M.S. Johns Hopkins (CS)
📄 Full work history on my website
AI & computing
- Unverified Foundations: How AI-Generated Mathematics Builds on Itself — data & code
- The First AI-Saturated Election (with Yujia Liu) — SSRN · submitted to Election Law Journal
- Client-Side Measurement of Free-Tier LLM Inference — data
- Pushdown Is Not Free — Zenodo
- The Review Lottery — arXiv
Early American maritime history, 1783–1815 (with Yujia Liu)
- From Wartime Service to Canton — SSRN · under review at Journal of the Early Republic
- Yankees in the Sound — SSRN · under review at IJMH
- The Neutral-Carrier Recovery, 1809–1811 — SSRN · under review at Scandinavian Economic History Review
📄 Full list with links on my website