Jon Stephens is a PhD Student at UT Austin as well as the CTO and a co-founder of Veridise. His work focuses on developing automated techniques to verify and identify bugs in the blockchain ecosystem.