Mooly Sagiv
CEO at Certora
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolMooly Sagiv is a serial academic-entrepreneur who leads Certora as CEO, specializing in modular formal verification to secure smart contracts. With a PhD from Technion and over two decades of academic leadership as Chair of Software Systems at Tel Aviv University, he blends deep theoretical expertise with product-focused engineering. His background includes visiting roles at Stanford and UC Berkeley and a scholar-in-residence appointment at VMware Research, reflecting sustained influence across both research and industry. Known for translating formal methods into practical tooling, he has spent the last eight years driving commercialization of verification technology for production blockchain systems. Based in New York, he pairs rigorous CS foundations with a knack for making provable guarantees usable in real-world deployments.
8 years of coding experience
2 years of employment as a software developer
phd computer science, phd computer science at Technion - Israel Institute of Technology
Github Skills (6)
datalog7
computation5
programming-language5
rust4
declarative3
compiler2
Programming languages (3)
Github contributions (4)
mooly-sagiv/certora-prover-sup
Dec 2019 - Dec 2019
Contributions:1 push, 1 branch in 1 day
Certora/CertoraProverSupplementary
Dec 2019 - Feb 2020
Supplementary Material to be used with the Certora Prover
Contributions:6 commits, 7 pushes in 2 months
supplementary-materialprover
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.