About
Computer science student at UC San Diego, from Oman. I build tools for research and analytics, and I spend a lot of time fixing the open-source projects they run on: 111 of those fixes have been merged, across 33 projects.
How I work
Most of what I build has the same shape. Compute the answer deterministically, keep a record of how it was computed, and let anyone run it again and get the same thing. That came out of ProofX, where a result nobody can reproduce is worth nothing, and it is why I spend so much time in other people's build systems and path handling.
Experience & education
Experience
Built a Python pipeline turning daily production data into validated dashboards, PDF reports and email-ready output in about two minutes, replacing a manual process. Added asset-level filtering and well search, with validation on every Excel input before anything reaches a report.
Building a practical student initiative that connects Omani students with organizations, founders, and opportunities in space and aerospace.
Built CollatzX, a directed counterexample search engine running roughly 10M sequence iterations per second on commodity hardware, and Germinal, which formalizes proposed conjectures in Lean 4 and attacks them with three independent counterexample methods. Every run records its command, seed, budget and code revision, so any result can be reproduced or challenged.
Education
Undergraduate study focused on computer science, systems, mathematics, and research-oriented software engineering.
Participated in student organizations including Chess Club at Penn, Omani Students Association, Penn Undergraduate Economics Society, Claude Builder Club, and Penn Quantum Computing Club.
Honors & awards
Top ~3% of 3,000+ global applicants to the program backing founders under 23.
BridgX, a BTC-to-EVM bridge with zero-fee USDC transfers, built inside the 36-hour window.
Fully funded national award from the Ministry of Higher Education for academic excellence and leadership.