David Dill 简介
David Dill 是 Facebook 区块链项目的首席研究分析师，在斯坦福大学从教相当长时间， 曾在 nCent Labs 担任合伙人。他的研究主要集中在形式化验证、计算生物学等。在形式化验证方向，研究了许多不同的方法和应用，并在自动机理论、基于 BDD 的模型检查、显式状态模型检查、CPU 验证方法、无量词逻辑的决策过程中为该领域做出了许多贡献。 他还完成了异步电路验证和综合以及硬实时系统验证方法的研究。
David Dill 工作经验
David Dill 相关信息
Alberto Sonnino
Facebook Calibra 研究科学家。
Jack Whitton
Facebook 区块链项目的安全工程师。
Libracamp
Libra 测试网开发训练营，全球首个相关的技术孵化器。
Tom Lorek
Facebook 区块链项目的合作伙伴关系。
Catherine Porter
Facebook 区块链项目的商务拓展总监。
Diem
前身是 Libra，简单的、无国界的货币和为数十亿人服务的金融基础设施。
Nate Gonzalez
Facebook 区块链项目产品经理。
John Hellweg
Facebook 区块链项目的设计师。
Tamás Henning
Facebook 区块链项目的安全风险控制。