Details
Jon Stephens is a PhD student at UT Austin and the Co-founder and CEO of Veridise. His work focuses on developing automated techniques to verify and identify bugs in the blockchain ecosystem.
Work Experience
Education Experience
Related Figures
Isil Dillig
Isil Dillig is the Co-Founder & President at Veridise.She is a Professor of Computer Science at The University of Texas at Austin.
Brian Smith
Brian leads finance and operations for the firm. He specializes in deal structuring, due diligence, and legal and financial processes. Brian previously served as a public equity analyst at Tiger Management (where he helped launch a Tiger-seeded hedge fund), a private equity investor with Fox Paine & Co., an investment banker at Greenhill & Co., and he co-led finance at Bazaarvoice (BV) through the company's IPO.
Lucas Fulks
Lucas Fulks is the co-founder and CEO of Hyve and was previously the co-founder and Chief Product Officer of Helika. Presively he was Manager of Analytics at Artie, SciPlay and Zynga. Lucas Fulks graduated from The University of Texas at Austin.
Yu Feng
Yu Feng is an Assistant Professor in the Department of Computer Science at the University of California, Santa Barbara (UCSB). He cofounded Veridise and Nubit. Professor Feng has been recognized with prestigious academic awards for his contributions to the field, including best paper awards from top formal methods (PLDI’18, PLDI’22), software engineering (ASE’20), and HCI (CHI’21). He is also the recipient of Google Faculty award, Ethereum Academic award, and many others.
Michael Wei
Michael Wei is the Director of Product at BitGo. Previously, he worked on strategic projects at Coinbase. He graduated from the University of Texas at Austin.
John Dogru
John Dogru is the founder and CEO of 3DOS. He is a graduate of the University of Texas at Austin.
Sa Wang
Sa Wang is the co-founder of IOST. She has served as the CMO and marketing consultant for many internet companies in China and the United States.
Sahil Thaker
Sahil Thaker is the co-founder of Hyperline and previously worked at Microsoft, Uber, and Meta. He is a graduate of the University of Texas at Austin and the University of Oakland.
Alok Vasudev
Alok Vasudev is Co-Founder of Standard Crypto, Early-stage technology investor. Formerly, Partner at s28 Capital.
Asha Dakshinamoorthy
Asha Dakshinamoorthy is currently the Head of Product at Aptos Labs. She graduated from the McCombs School of Business at the University of Texas at Austin.
