Jon Stephens est doctorant à UT Austin, ainsi que CTO et cofondateur de Veridise. Son travail se concentre sur le développement de techniques automatisées pour vérifier et identifier les bugs dans l'écosystème blockchain.