Details
Daejun Park is a Senior Blockchain Security Engineer at a16z crypto, developing formal methods and tools for web3 security to help portfolio companies in particular and the web3 community in general to raise their security bar. Prior to joining a16z crypto, he was a Director of Formal Verification at Runtime Verification.Early in his career, he was a founding member of another tech startup Sparrow. Daejun received a Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign, and his B.S. and M.S. degrees from Seoul National University. His work on language-parametric program verification received the Distinguished Paper Award at OOPSLA’16.
Work Experience
Education Experience
Relevance Person
Yilong Li
Yilong Li is a co-founder of MegaETH and was previously a Senior Software Engineer at Runtime Verification. He has a PhD in computer science from Stanford University.
Patrick MacKay
Patrick MacKay is the co-founder and COO of Pi Squared, and he is also the COO of Runtime V. He is a graduate of Georgetown University and the University of Illinois at Urbana-Champaign Guise School of Business.
Will Wang
Will Wang is a Founding Partner at TKX Capital, a full-service crypto investment bank in primary and secondary markets. Prior to this, he was the Head of Investment and Business Development at Huobi North America, a leading global crypto trading exchange.
Manish Gupta
Manish Gupta is the executive vice president of engineering at Coinbase, previously served as vice president of engineering at Lyft. He is a graduate of the University of Bombay and the University of Illinois at Urbana-Champaign.
Thomas Chippas
Thomas Chippas is the CEO of Argo Blockchain. Previously, he was CEO of ErisX and COO of Axoni.
Niraj Pant
Niraj Pant is the Co-Founder at Ritual. Presively he was a General Partner at Polychain Capital, where he invests in early-stage cryptocurrency projects. Prior to this role, he researched privacy in the Decentralized Systems Lab at the University of Illinois at Urbana-Champaign. Niraj has also served as a Member of the Board of Directors for CoinDCX, an Ambassador for Sequoia Capital, and Co-Founder and CTO of Source Networks. He holds a Bachelor's degree in Computer Science from the University of Illinois at Urbana-Champaign.
Kevin Lehtiniitty
Kevin Lehtiniitty is co-founder and chief technology officer of Fortress Trust Company. He holds a master's degree in computer engineering from the University of Illinois at Urbana-Champaign.
Vyas Krishnan
Vyas Krishnan is the head of product at EigenLayer. He graduated from the University of Illinois at Urbana-Champaign.
Peter Piekarczyk
Peter Piekarczyk is the founding engineer of Backpack. He graduated from the University of Illinois at Urbana-Champaign.
Grigore Rosu
Grigore Rosu is president and CEO of Runtime Vеrification, founder and CEO of Pi Squared, and a professor of computer science at the University of Illinois at Urbana-Champaign. He graduated from the Jacobs School of Engineering at the University of California, San Diego.