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.
11 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 (37)
physics9
hypergraph9
theorem-proving8
petri-net7
monoid7
dimensions7
quantum-computing6
inference5
algorithms4
graph4
type-checking4
compiler4
python3
oeis3
units-of-measurement3
Programming languages (7)
Github contributions (5)
Cobord/Hypergraph
Apr 2023 - May 2025
Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids
Contributions:2 PRs, 70 pushes in 2 years 1 month
monoidpetri-netbrauercospanen-algebra
Cobord/Algebraic-Curves-Stuff
Dec 2017 - Jul 2022
Contributions:20 pushes, 1 branch in 4 years 7 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.