基本信息
Daejun Park 是 a16z crypto 的高级区块链安全工程师,致力于开发 web3 安全的正式方法和工具,以帮助投资组合公司和整个 web3 社区提高安全标准。 在加入 a16z crypto 之前,他是 Runtime Verification 的形式验证总监。在他职业生涯的早期,他是科技初创公司 Sparrow 的创始成员。 Daejun 获得伊利诺伊大学厄巴纳-香槟分校的计算机科学博士学位。在拥有首尔国立大学的学士和硕士学位。他在语言参数程序验证方面的工作获得了 OOPSLA’16 的杰出论文奖。
工作经历
教育经历
![](/_nuxt/img/x_card_bg.ae37b25.png)
关联人物
![](https://public.rootdata.com/images/b6/1705419083946.jpg)
Yilong Li
Yilong Li 是 MegaETH 联合创始人,此前是 Runtime Verification 高级软件工程师。他是斯坦福大学计算机科学专业博士。
![](https://public.rootdata.com/images/b39/1711538374951.jpg)
Patrick MacKay
Patrick MacKay 是 Pi Squared 的联合创始人兼COO,同时他还是 Runtime Vеrification 的COO。他毕业于美国乔治城大学和伊利诺伊大学香槟分校吉斯商学院。
![](https://public.rootdata.com/images/b6/1708794339350.jpg)
Will Wang
Will Wang 是 TKX Capital 的创始合伙人,TKX Capital 是一家在一级和二级市场提供全方位服务的加密货币投资银行。在此之前,他曾担任全球领先的加密货币交易交易所火币北美的投资和业务开发主管。
![](https://public.rootdata.com/images/b12/1686210203493.jpg)
Thomas Chippas
Thomas Chippas 是 Argo Blockchain 的首席执行官。之前,他是 ErisX 首席执行官与 Axoni 的首席运营官。
![](https://public.rootdata.com/images/b39/1704694907613.jpg)
Manish Gupta
Manish Gupta 之前在 Coinbase 担任工程执行副总裁,也曾在 Lyft 担任工程副总裁。他毕业于孟买大学和伊利诺伊大学厄巴纳-香槟分校。
![](https://public.rootdata.com/images/b44/1718162852972.jpg)
Sangmin Seo
Sangmin Seo 是 Klaytn 的董事长,此前他曾是 Krust Universe 的首席 Klaytn 官,领导 Klaytn 区块链的开发和运营。他还曾是 Ground X 的首席技术官兼首席产品官。Sangmin Seo 毕业于首尔国立大学并且拥有该大学的电气工程与计算机科学博士学位。
![](https://public.rootdata.com/images/b9/1671369686126.jpg)
Niraj Pant
Niraj Pant 是 Ritual 的联合创始人。他此前是 Polychain Capital 的普通合伙人,他投资于早期的加密货币项目。 在此之前,他在伊利诺伊大学香槟分校的分散系统实验室研究隐私。 Niraj 还担任过 CoinDCX 的董事会成员、红杉资本的大使以及 Source Networks 的联合创始人兼首席技术官。 他拥有伊利诺伊大学香槟分校的计算机科学学士学位。
![](https://public.rootdata.com/images/b6/1720413659489.jpg)
Kyunghwan Min
Kyunghwan Min 此前是是 BLOCORE 合伙人、谷歌韩国应用与游戏业务合作总监。他也是多个 Web3 项目的天使投资人。他毕业于首尔国立大学。
![](https://public.rootdata.com/images/b6/1700755268390.jpg)
Kevin Lehtiniitty
Kevin Lehtiniitty 是 Borderless 首席执行官,此前是 Fortress Trust Company 联合创始人兼首席技术官、Prime Trust 首席产品官。他是伊利诺伊大学厄巴纳-香槟分校计算机工程专业硕士。
![](https://public.rootdata.com/images/b39/1711358991008.jpg)
Peter Piekarczyk
Peter Piekarczyk 是 Backpack 的创始工程师。他毕业于美国伊利诺伊大学香槟分校。