David Dill 简介
David Dill 是 Facebook 区块链项目的首席研究分析师，在斯坦福大学从教相当长时间， 曾在 nCent Labs 担任合伙人。他的研究主要集中在形式化验证、计算生物学等。在形式化验证方向，研究了许多不同的方法和应用，并在自动机理论、基于 BDD 的模型检查、显式状态模型检查、CPU 验证方法、无量词逻辑的决策过程中为该领域做出了许多贡献。 他还完成了异步电路验证和综合以及硬实时系统验证方法的研究。
David Dill 工作经验
David Dill 相关信息
Nate Gonzalez
Facebook 区块链项目产品经理。
Zach Krasner
Novi 与 Libra 资深产品设计师。
Pontem Network
桥接 Diem 与加密世界。
Paddy Underwood
Facebook 区块链项目的产品经理。
Mehdi Hasan
Facebook 区块链项目的招聘经理。
Hui Ding
Facebook 区块链项目的开发总监。
Robin Clediere
Facebook 区块链项目的产品设计师。
Jack Whitton
Facebook 区块链项目的安全工程师。
Eduardo Saverin
B Capital Group 创始人。