Zachary Stone
Lead Research Scientist at STR
Boston, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolZachary Stone is a Lead Research Scientist in Boston with a decade of experience solving high‑complexity problems across academia, gaming cloud services, defense security R&D, and compiler engineering. He pairs a strong mathematics background (BS/MS from Carnegie Mellon and advanced study at MIT) with hands‑on ownership of product lifecycles—from Snowflake migrations and analytics at PlayFab to formally verified protocols and machine‑checked proofs at Draper. At Tableau and STR he has focused on compiler design, spec writing, and leveraging functional programming guarantees to translate customer expectations into measurable correctness properties. Known for turning ambiguous requirements into precise formal specifications, he blends research rigour with production engineering and a taste for the hardest technical challenges.
10 years of coding experience
8 years of employment as a software developer
Advanced Study Fellow, Mathematics, Advanced Study Fellow, Mathematics at Massachusetts Institute of TechnologyPhillips Exeter AcademyBachelor of Science - BS, Mathematics, 3.5, Bachelor of Science - BS, Mathematics, 3.5 at Carnegie Mellon University
Github Skills (63)
symbolic-computation10
ssreflect10
cas10
mathematical10
computer-algebra-system10
coq10
derivative10
interval-arithmetic10
complex10
root-finding10
homotopy-type-theory10
dfa10
julia10
proof-assistant9
computer-algebra9
Programming languages (6)
Github contributions (5)
zstone1/coq-complex
Nov 2019 - Jan 2020
Contributions:82 commits, 39 pushes, 1 branch in 1 month
zstone1/analysis
Dec 2020 - Mar 2026
Mathematical Components compliant Analysis Library
Contributions:4 PRs, 665 pushes, 98 branches in 5 years 3 months
mathcompliantanalysismathematicaljulia
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.