基本信息
Petar Maksimovic 是 Nethermind 形式验证工程师兼业务拓展主管，此前曾在 Runtime Vеrification 工作。
关联人物
Patrick MacKay
Patrick MacKay 此前是 Pi Squared 联合创始人兼CFO，曾担任 Runtime Vеrification 的 COO。他毕业于乔治城大学、伊利诺伊大学厄巴纳-香槟分校。
Eduardo Carvalho
Eduardo Carvalho 是 Valantis Labs 的联合创始人兼CTO，此前曾在 Nethermind 担任协议工程总监。他毕业于伦敦帝国理工学院和里斯本大学科学学院。
Greg Vardy
Greg Vardy 是 Valantis Labs 的联合创始人兼CEO，此前曾担任Nethermind 的CTO。他毕业于杜伦大学。
Anneli Nowak
Anneli Nowak 是 Nethermind 的营销主管。
Anett Rolikova
Anett Rolikova 是 Subzero Labs 创意策略师，此前曾在 Last Network、Hyperlane、Nethermind、Superfluid、Ethereum 工作。
DanielC
DanielC是Nethermind的联合首席技术官。
Everett Hildenbrandt
Everett Hildenbrandt 是 Runtime Vеrification CEO 。
Daejun Park
Daejun Park 是 a16z crypto 的高级区块链安全工程师，致力于开发 web3 安全的正式方法和工具，以帮助投资组合公司和整个 web3 社区提高安全标准。在加入 a16z crypto 之前，他是 Runtime Verification 的形式验证总监。在他职业生涯的早期，他是科技初创公司 Sparrow 的创始成员。Daejun 获得伊利诺伊大学厄巴纳-香槟分校的计算机科学博士学位。在拥有首尔国立大学的学士和硕士学位。他在语言参数程序验证方面的工作获得了 OOPSLA’16 的杰出论文奖。
Michal Zajac
Michal Zajac是Nethermind的研究负责人。他毕业于华沙大学。
Joe Kohler
Joe Kohler 是 Nethermind 的 COO兼CLO，此前曾是 Reed Smith LLP 的合伙人。他毕业于英国牛津大学。
