David Dill 简介
David Dill 是 Facebook 区块链项目的首席研究分析师，在斯坦福大学从教相当长时间， 曾在 nCent Labs 担任合伙人。他的研究主要集中在形式化验证、计算生物学等。在形式化验证方向，研究了许多不同的方法和应用，并在自动机理论、基于 BDD 的模型检查、显式状态模型检查、CPU 验证方法、无量词逻辑的决策过程中为该领域做出了许多贡献。 他还完成了异步电路验证和综合以及硬实时系统验证方法的研究。
David Dill 工作经验
David Dill 相关信息
Tom Lorek
Facebook 区块链项目的合作伙伴关系。
Zach Krasner
Novi 与 Libra 资深产品设计师。
Eric Nakagawa
Facebook 区块链开源项目主管。
InDiem
Diem 区块链资源管理与查询。
Aanchal Gupta
Facebook 区块链项目的安全主管。
Catherine Porter
Facebook 区块链项目的商务拓展总监。
Michael Engle
Facebook 区块链项目的开发者生态。
Eduardo Saverin
B Capital Group 创始人。
Diem
前身是 Libra，简单的、无国界的货币和为数十亿人服务的金融基础设施。