Jon Stephens is the CTO and a co-founder of Veridise, an auditing company that builds security tools to help them find bugs in all parts of the blockchain ecosystem. He's also a PhD student at UT Austin, where he conducts research at the intersection of programming languages and security.