Ammar Husain
Rust Developer at Hellas AI
Greater Boston United States
Summary
👤
Senior🎓
Top SchoolAmmar Husain is a Rust developer with 11 years of technical experience, currently focused on rewriting Python systems into Rust and applying property-based testing at Hellas AI. He combines a deep research background—a PhD in physics from UC Berkeley studying algebraic defects and topological systems—with practical compiler work, having built DSLs and IR tooling to automatically synthesize quantum-accelerated circuits at Horizon Quantum Computing. Comfortable across Python and systems languages, he has moved between data engineering, QA, and low-level compiler engineering roles, demonstrating a talent for turning formal research insights into production-grade software. Based in Greater Boston, he contributes to open-source packaging ecosystems (PyPI and crates.io) under the Cobord handle, signaling ongoing community engagement beyond his day job. Notably, his academic work in topology and representation theory informs a methodical, mathematically rigorous approach to software design and correctness.
10 years of coding experience
12 years of employment as a software developer
Research Doctorate Physics, Research Doctorate Physics at University of California, BerkeleyBachelor's degree Theoretical and Mathematical Physics, Bachelor's degree Theoretical and Mathematical Physics at University of Maryland
Stackoverflow
103reputation
0reached
0answers
0questions
Github Skills (21)
hypergraph8
physics8
quantum-computing7
theorem-proving7
monoid6
dimensions5
compiler4
python3
oeis3
verification2
static-analysis2
protobuf2
type-checking2
units-of-measurement2
cython2
Programming languages (7)
Github contributions (5)
Cobord/Algebraic-Curves-Stuff
Dec 2017 - Jul 2022
Contributions:20 pushes, 1 branch in 4 years 7 months
Cobord/HamiltonianLearning
May 2017 - Sep 2018
Contributions:30 commits, 24 pushes, 2 branches in 1 year 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.