Computer science student at UC San Diego. I build developer tools and data systems, and fix Windows, CI, and numerical correctness bugs in open source.
In summer 2026, I was a data analyst intern at Shell Kuwait, building a Python tool that turns daily production spreadsheets into checked reports.
| Project | What I built | Explore |
|---|---|---|
| Switchyard | A CLI that gives each coding agent an isolated git worktree and detects collisions before merging. | Source · Demo · npm |
| Ridge | Spreadsheet analysis that computes statistics and data-quality evidence deterministically before optional model interpretation. | Source · Demo |
| ProofX | Number-theory experiments with seeded, replayable search ledgers and bounded Lean checks. | Source · Research notebook |
- Numerical correctness: microsoft/onnxscript #3027. Fusing BatchNorm into Gemm silently changed model outputs when Gemm used a non-default
beta. I corrected the bias scaling and removed the forwarded attribute, with parameterized numerical regression tests. - Windows installs: microsoft/apm #2941. Generated staging names consumed too much of the Windows path budget. I shortened them while preserving cleanup of older staging directories; regression tests cover path headroom and both naming formats.
- Filesystem events: watchdog #1204. Renaming
filetoFILEon Windows produced a false deletion event. I filtered the redundant native record and added file, directory, and genuine-deletion regression cases.
As of October 12, 2026: 169 merged upstream pull requests across 43 repositories, including 44 at Microsoft. Other contribution records: simple-statistics, NVIDIA, and NegPy.
contextbill prices coding sessions from local transcripts. OmanX provides sourced visa and compliance guidance for Omani students abroad.
I use coding agents for much of this work and say so wherever a project asks. Off the keyboard: badminton and photography.