jon stephensは、ut austinの博士課程の学生であり、veridiseのCTO兼共同創設者でもあります。彼の研究は、ブロックチェーンエコシステムにおけるバグの検証と特定のための自動化技術の開発に焦点を当てています。