Skip to content
It's time to build
Nav Opener
  • Portfolio
  • Team
  • Focus Areas
    • American Dynamism
    • Bio + Health
    • Cultural Leadership Fund
    • Consumer
    • Crypto
    • Enterprise
    • Fintech
    • Games
    • Growth
    • Talent x Opportunity
  • Content
    Topics
    • Bio + Health
    • Consumer
    • Creator Economy
    • Marketplaces
    • Gaming & Social
    • Fintech
    • Enterprise & SaaS
    • Security & Privacy
    • Cryptocurrencies & Blockchains
    Type
    • Articles
    • Video
    • Podcasts
    • Newsletters
  • About
  • Jobs
  • Newsletters
Close

Daejun Park

Daejun Park

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, a research-based startup offering formal verification tools and services, where he led a team of formal verification engineers and security auditors for smart contracts and consensus protocols. Early in his career, he was a founding member of another tech startup Sparrow, where he designed and implemented static program analysis tools that detect memory safety errors for embedded systems software.

He 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.

Latest Posts

Generalized property tests for ERC4626 vaults

by Daejun Park
  • code releases
  • crypto & web3
  • open source
  • a16z crypto
  • code drops
  • open source

SBC 22: Field Notes from Science of Blockchain 2022

by Anne Brandes, Elena Burger, Bryan Chiang, Valeria Nikolaenko, Daejun Park, Carra Wu, and Guy Wuollet
  • crypto & web3
  • a16z crypto
  • field notes
  • zero knowledge proofs
Software is eating the world
© 2023 Andreessen Horowitz
Software is eating the world
    • Twitter
    • Simplecast
  • Contact
  • Jobs
  • Briefings
  • Terms of Use & Privacy
  • Disclosures
  • Conduct
  • Who We Are