We are on a mission to harden blockchain security

Veridise was founded in 2021 by a team of world-class academics.

The birthplace of Veridise is the UToPiA research group.

Our co-founder and UT Austin professor, Isil Dillig, leads the UToPiA research group, which focuses on program analysis, verification, and synthesis—an area of Computer Science that has profound implications for software security.

Starting in 2018, program analysis for smart contracts emerged as a central area of research for the group: They created advanced vulnerability detection tools and built deep domain expertise in the DeFi space.

The work of the group didn’t go unnoticed. Several security companies lined up to use these techniques, while protocols sought our expertise for audits.

These signals prompted us to roll up our sleeves and start Veridise.

Many Veridise team members, such as Kostas Ferles, Ben Sepanski, Shankara Pailoor, Ben Mariano, and Jacob Van Geffen previously worked as researchers in the UToPiA group, and many of them contributed to smart contract security research before joining Veridise. As a result, we are in the unique position of combining the latest academic research discoveries with deep industry experience for industry-leading audits.

Today, Veridise is lead by President & Co-founder Isil Dillig and CEO & Co-founder Jon Stephens. The Veridise team consists of 35+ dedicated professionals, continuing to advance blockchain security.