基本信息
Daejun Park 是 a16z crypto 的高級區塊鏈安全工程師，致力於開發 web3 安全的正式方法和工具，以幫助投資組合公司和整個 web3 社群提高安全標準。在加入 a16z crypto 之前，他是 Runtime Verification 的形式驗證總監。在他職業生涯的早期，他是科技新創公司 Sparrow 的創始成員。Daejun 獲得伊利諾大學厄巴納-香檳分校的電腦科學博士學位。在擁有首爾國立大學的學士和碩士學位。他在語言參數程式驗證方面的工作獲得了 OOPSLA’16 的傑出論文獎。