Uri Kirstein
Israel
Summary
👤
Senior🎓
Top SchoolUri Kirstein is a product manager with an 8-year engineering-backed career focused on developer-facing security tools and formal verification for DeFi. He led the roadmap and shipped 29+ features for a flagship formal verification platform, productized Bounded Model Checking and mutation testing, and routinely translates deep technical research into usable CI/CD and dashboard workflows. Comfortable reviewing code and collaborating with R&D, he moves between developer ergonomics and high-stakes security requirements, having represented his product at 15+ international conferences. Based in Israel, Uri also runs large-scale content and community programs for Web3 security, curating multi-city conferences and year-round webinars that amplify technical narratives and ecosystem partnerships. Notably, his background includes building production ML tooling at Apple and hands-on Prover client work in Python, giving him a rare combination of ML, systems, and formal methods experience applied to real-world developer workflows.
8 years of coding experience
5 years of employment as a software developer
Bachelor of Engineering - BE Computer Engineering, Bachelor of Engineering - BE Computer Engineering at Technion - Israel Institute of TechnologyThe Hebrew Reali SchoolComputer Engineering, Computer Engineering at Carnegie Mellon University
Hebrew, English
Github Skills (9)
solidity10
ethereum9
verification8
monorepo8
theorem-proving6
python6
ruby5
equation3
fundamental1
Programming languages (6)
Github contributions (5)
alcuadrado/balancer-core-v2
Apr 2021 - May 2021
Balancer V2 Protocol
Contributions:75 commits in 27 days
balancer
roselynalan87/balancer-v2-monorepo
Jun 2021 - Aug 2021
Balancer V2 Monorepo
Contributions:97 commits in 2 months
monorepobalancer
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.