Mooly Sagiv (@SagivMooly) — Twitter Score 58 out of 1000

Mooly Sagiv is a computer scientist and formal verification researcher who co-founded Certora, a smart contract security firm, and served as its CEO until mid-2025. On July 31, 2025, Certora announced Seth Hallem as its incoming CEO, with Mooly Sagiv stepping into a strategic research and innovation role at the company. Mooly Sagiv's Twitter Score is 58 out of 1000 (a Good rating) as of August 2026, ranking #14,982 (top 5%) among 483,652 tracked accounts.

Mooly Sagiv co-founded Certora alongside his role as Chair of Software Systems at Tel Aviv University, where his research spans formal methods, theorem proving, static program analysis, and programming languages. Certora's flagship product, the Certora Prover, checks smart contract bytecode against formal specifications to surface vulnerabilities before deployment. Certora states that its tools and services protect over $100 billion in total value locked across the protocols it covers.

Mooly Sagiv also co-founded Summit DeFi. Beyond Ethereum-focused work, Certora has expanded its formal verification research across several ecosystems: it received an Ethereum Foundation research grant as part of the zkEVM Formal Verification Project, received a Canton Development Fund grant to build an open-source static analysis tool for Daml smart contracts on Canton Network, and joined the Solana Foundation Delegation Program to operate a high-assurance validator. Mooly Sagiv also holds affiliations with Stellar and Sui Network.

Mooly Sagiv has published 7,279 posts on the platform. The account has been mentioned by 35 accounts, totaling 96 mentions.

Who follows Mooly Sagiv on X?

The accounts that follow Mooly Sagiv include 220 founders, 64 angel investors, 51 influencers and 1 VCs. Among them are Toly, Stani, Dan Robinson, Tarun Chitra, Tay and Neeraj K. Agrawal.