Daejun Park

Daejun Park 是 a16z crypto 的高级区块链安全工程师，致力于开发 web3 安全的正式方法和工具，以帮助投资组合公司和整个 web3 社区提高安全标准。 在加入 a16z crypto 之前，他是 Runtime Verification 的形式验证总监。在他职业生涯的早期，他是科技初创公司 Sparrow 的创始成员。 Daejun 获得伊利诺伊大学厄巴纳-香槟分校的计算机科学博士学位。在拥有首尔国立大学的学士和硕士学位。他在语言参数程序验证方面的工作获得了 OOPSLA’16 的杰出论文奖。