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 (73)
mathematical10
dependent-types10
ssreflect10
computer-algebra-system10
coq10
interval-arithmetic10
root-finding10
homotopy-type-theory10
julia10
symbolic-computation10
cas10
derivative10
complex10
dfa10
proof-assistant9
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 - Jan 2025
Mathematical Components compliant Analysis Library
Contributions:4 PRs, 663 pushes, 98 branches in 4 years 1 month
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.