A Moment of Transition and Opportunity

Since its founding, Certora has evolved into a full-stack security assurance platform, combining best-in-class formal verification tools with expert advisory services, delivered on time and without compromise.

Today, we welcome Seth Hallem as Certora’s new CEO. Mooly Sagiv, Certora’s founding CEO, will remain with the company to lead strategic research and innovation. Shelly Grossman, co-founder and CTO, will now focus on product innovation and R&D.

It’s a new phase for Certora. We’re building on a decade of technical excellence and setting the stage for continued growth and impact.

A Word from Mooly Sagiv, Founder

“It’s my honor to welcome Seth Hallem as Certora’s next CEO. From the start, we knew we needed someone with both technical depth and the ability to scale a mission-driven company — Seth brings exactly that.

Over the past few weeks, we’ve worked closely together, and it’s clear that Seth is the right person to lead Certora into the future. I’m taking on a new role that’s focused on innovation, customer relationships, and branding, and I couldn’t be more excited about what we’re building.”

A Message from Seth Hallem, CEO

“I’m thrilled to join Certora at this pivotal time. I’ve long believed in the power of tools to make software safer, and Certora’s technology and team are uniquely positioned to raise the bar in DeFi security.

In a fast-moving, high-stakes space, trust is everything. Certora is a defining source of assurance in this ecosystem. I’m here to help scale our mission and I look forward to working closely with the team, our customers, and the community to make that vision a reality.”

A Reflection from Shelly Grossman, CTO & Co-founder

“Seth brings a rare combination of business leadership and formal methods expertise, exactly what we need to meet the rising demand for trust and transparency in Web3.

I’m grateful for Mooly’s leadership over the past seven years, and proud of how far we’ve come. I’m excited to help shape Certora’s future alongside an incredible team.”

Looking Ahead

Certora’s mission remains the same: to raise the standard of smart contract security and build a safer, more trustworthy DeFi ecosystem. With Seth at the helm, Mooly pioneering new technologies, and Shelly driving product development, we’re entering a new era.

To our partners, and community: thank you. We’re energized for what’s ahead.