基本情報
Daejun Park は a16z crypto のシニア ブロックチェーン セキュリティ エンジニアで、特にポートフォリオ企業と Web3 コミュニティ全体のセキュリティ レベルの向上を支援するために、Web3 セキュリティの形式手法とツールを開発しています。a16z crypto に入社する前は、Runtime Verification の形式検証担当ディレクターを務めていました。キャリアの初期には、別のテクノロジー スタートアップ Sparrow の創設メンバーでした。Daejun は、イリノイ大学アーバナ シャンペーン校でコンピューター サイエンスの博士号を取得し、ソウル国立大学で学士号と修士号を取得しました。言語パラメトリック プログラム検証に関する研究は、OOPSLA’16 で優秀論文賞を受賞しました。