网址：https://profiles.stanford.edu/david-dill
墨西哥巨头Grupo Salinas将接受来自400余万客户使用闪电网络支付的BTC:金色财经报道，Bitcoin Archive发推称墨西哥企业巨头Grupo Salinas将接受来自400余万客户使用闪电网络支付的BTC。[2023/5/19 15:14:06]
Facebook 区块链项目的首席研究分析师。
加州金融保护与创新部暂停加密借贷平台Salt的许可证:金色财经报道，美国加州金融保护与创新部(DFPI)周三表示，随着监管机构调查这家加密借贷平台暂停客户提款的决定，将暂停SALT的许可证30天。本周早些时候，由于加密交易所FTX崩溃的影响，Salt宣布暂停客户提款和存款，在线投资平台Bnk To The Future随后宣布终止与Salt的不具约束力的收购意向书。[2022/11/17 13:14:54]
David Dill 是 Facebook 区块链项目的首席研究分析师，在斯坦福大学从教相当长时间， 曾在 nCent Labs 担任合伙人。
JetSwap与北美电子竞技组织Extra Salt达成合作:9月20日消息，JetSwap与北美电子竞技组织Extra Salt达成合作，JetSwap Finance是一种收益农耕和收益聚合器协议，它聚合了币安智能链 (BSC) 和 Polygon (Matic) 上的Compound、Fry.World、Yearn和Harvest等去中心化金融(DeFi)项目的资产。[2021/9/20 23:38:20]
他的研究主要集中在形式化验证、计算生物学等。在形式化验证方向，研究了许多不同的方法和应用，并在自动机理论、基于 BDD 的模型检查、显式状态模型检查、CPU 验证方法、无量词逻辑的决策过程中为该领域做出了许多贡献。 他还完成了异步电路验证和综合以及硬实时系统验证方法的研究。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。