Jon Stephens es un estudiante de doctorado en UT Austin, así como el CTO y cofundador de Veridise. Su trabajo se enfoca en desarrollar técnicas automatizadas para verificar e identificar errores en el ecosistema blockchain.