Certora appoints Seth Hallem as CEO, joining Mooly Sagiv and Shelly Grossman in leading the next phase of innovation in formal verification and DeFi security.

Certora’s rigorous audit and formal verification strengthened Symbiotic’s protocol, addressing issues and ensuring secure mainnet deployment.