Mooly Sagiv
Mooly Sagiv 是一位颇具影响力的计算机科学家,以其在形式化验证、程序分析和智能合约安全领域的工作而闻名。他目前担任 Certora 的首席科学家,该公司由他共同创立,旨在通过形式化验证技术提升区块链领域的安全性。
您正在查看带有 Developer .的维基。如果您对查看其他共有话题感兴趣,可以点击其他标签。
Mooly Sagiv 是一位颇具影响力的计算机科学家,以其在形式化验证、程序分析和智能合约安全领域的工作而闻名。他目前担任 Certora 的首席科学家,该公司由他共同创立,旨在通过形式化验证技术提升区块链领域的安全性。
Michele Spagnuolo 是一位著名的 Google 安全工程师,以创建 Security Signals 和 CSP3 ‘strict-dynamic’ 而闻名。近期,他因涉嫌内幕交易被捕...
技术高管和软件开发人员,Mellow Protocol 创始人。曾任俄罗斯联邦储蓄银行(Sberbank)执行董事及 Yandex Delivery 首席产品官;此前曾担任 Secret Lab 首席执行官。
Tomer Weller 是 Stellar 发展基金会(Stellar Development Foundation)的首席产品官,也是一位区块链和金融科技领域的产品高管。他此前曾任职于 Lightyear.io 和...
平田路依(Roi Hirata)是一位日本企业家和区块链战略家,以担任 Ava Labs 日本区负责人而闻名。他在业务发展、社区管理以及推动区块链技术在日本各行业的应用方面发挥了关键作用。
Colin Armstrong 是 Mirror 的首席执行官和 Paragraph 的创始人,这两个平台致力于推动链上发布。他曾任职于 Google 担任软件工程师,在 Web3 生态系统中具有深厚背景。
Francesco Andreoli 是一位毕业于苏黎世联邦理工学院(ETH Zurich)的工程师和数字企业家。他目前在 Consensys(负责 MetaMask、Linea、Infura)担任开发者关系(DevRel)工作,同时也是 Oui Capital 的创始合伙人。他曾任职于 Digital Asset 等公司。
Raouf Ben-Har 是一位计算机科学家,Andalusia Labs 的联合创始人,曾任职于 Google 和 Coinbase 等公司。