网址：https://profiles.stanford.edu/david-dill
LTC再度突破62美元关口:火币全球站数据显示，LTC短线上涨，再度突破62美元关口，现报62.01美元，日内涨幅达到1.17%，行情波动较大，请做好风险控制。[2020/8/31]
Facebook 区块链项目的首席研究分析师。
David Dill 是 Facebook 区块链项目的首席研究分析师，在斯坦福大学从教相当长时间， 曾在 nCent Labs 担任合伙人。
他的研究主要集中在形式化验证、计算生物学等。在形式化验证方向，研究了许多不同的方法和应用，并在自动机理论、基于 BDD 的模型检查、显式状态模型检查、CPU 验证方法、无量词逻辑的决策过程中为该领域做出了许多贡献。 他还完成了异步电路验证和综合以及硬实时系统验证方法的研究。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。
Cambridge Associates 董事总经理。 Marcos Christos Veremis概述, Marcos Christos Veremis信息, Marcos Christos Veremis区块链, Marcos Christos Veremis维基, Marcos Christos Veremis社交, Marcos Christos Veremis Medium, Mar
InstaDApp 创始人，MakerScan 开发者。 Sowmay Jain概述, Sowmay Jain信息, Sowmay Jain区块链, Sowmay Jain维基, Sowmay Jain社交, Sowmay Jain Medium, Sowmay Jain ICO, Sowmay Jain回顾, Sowmay Jain快讯, Sowmay Jain追踪
Celo 产品合伙人。 Claire Belmont概述, Claire Belmont信息, Claire Belmont区块链, Claire Belmont维基, Claire Belmont社交, Claire Belmont Medium, Claire Belmont ICO, Claire Belmont回顾, Claire Belmont快讯, Claire Belmont追踪
Runtime Verification 总裁兼首席执行官。 Grigore Rosu概述, Grigore Rosu信息, Grigore Rosu区块链, Grigore Rosu维基, Grigore Rosu社交, Grigore Rosu Medium, Grigore Rosu ICO, Grigore Rosu回顾, Grigore Rosu快讯, Grigore Rosu追踪