David Dill 简介
David Dill 是 Facebook 区块链项目的首席研究分析师，在斯坦福大学从教相当长时间， 曾在 nCent Labs 担任合伙人。他的研究主要集中在形式化验证、计算生物学等。在形式化验证方向，研究了许多不同的方法和应用，并在自动机理论、基于 BDD 的模型检查、显式状态模型检查、CPU 验证方法、无量词逻辑的决策过程中为该领域做出了许多贡献。 他还完成了异步电路验证和综合以及硬实时系统验证方法的研究。
David Dill 工作经验
David Dill 相关信息
Abhay Bothra
Facebook 区块链项目的分布式系统工程师。
Raaid Ahmad
Facebook 区块链项目的数据科学与工程开发主管。
Geoff Teehan
Facebook 区块链项目 Libra 设计总监。
David Marcus
在 Facebook 探索区块链。
Mikheil Moucharrafie
Facebook 区块链项目的合规官。
Nathanael Rice
Facebook 区块链项目的 UX 内容策略师。
Nate Gonzalez
Facebook 区块链项目产品经理。
James Everingham
Facebook 区块链项目的首席工程开发。
Hui Ding
Facebook 区块链项目的开发总监。