Details
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.
Work Experience
Education Experience
Relevance Person
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 & CPO at 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, a leading startup in crypto security. 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.
Mikko Ikola
Mikko Ikola is Head of Marketing at Veridise, having previously been Head of Communications at Taiko and CMO at t2.world. He graduated from Aalto University and Fudan University.
Michael Wei
Michael Wei is the Co-founder at Blockus.Presively, he worked as Strategic Programs 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.