Michael Klein
Co-Founder at ThoughtBox, LLC
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolMichael Klein is a co-founder and software engineer with a decade of experience building secure, high-assurance tools and blockchain systems from New York. He combines deep systems and formal-thinking skills—evident from work with C, Haskell, and Coq—with practical production experience shipping smart contracts, compiler components, and trust-and-safety solutions at companies like Aztec, OpenSea, and InterPop. As founder of ThoughtBox, LLC he consults on security and blockchain software, applying both low-level tooling fluency (Vim, Zsh, Docker, Ubuntu) and pragmatic engineering practices. His background includes architecting backend systems and high-performance FFI integrations, and he has a track record of leading outsourced teams and delivering audited, production deployments. A double major in Mathematics and Physics, he brings a mathematically disciplined approach to software design and an inclination for building robust developer tools that scale.
10 years of coding experience
8 years of employment as a software developer
Bachelor's degree, Double-majored in Mathematics and Physics, Bachelor's degree, Double-majored in Mathematics and Physics at Ave Maria University
French, Spanish, Latin
Stackoverflow
319reputation
5kreached
3answers
0questions
Github Skills (89)
programming-language10
table-of-contents10
commonmark10
haskell10
markdown10
proofs10
markup-language10
coq10
compiler10
markup10
noir10
pandoc10
converter10
cryptography10
sum9
Programming languages (12)
Github contributions (5)
tqtezos/lorentz-contract-oracle
Oct 2019 - Apr 2020
Oracle contract with CLI interface
Contributions:50 commits, 12 PRs, 25 pushes in 6 months
oracle-databasecontractoraclecli-interfacehydra
spruceid/cryptoscript
Jan 2022 - Aug 2022
Contributions:91 commits, 3 PRs, 72 pushes in 6 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.