网址：https://profiles.stanford.edu/david-dill
Su Zhu和Kyle Davies将不会出席今天在纽约举行的法庭听证会:金色财经报道，Blockworks在社交媒体上称，三箭资本联合创始人Su Zhu和Kyle Davies将不会出席今天在纽约举行的法庭听证会。[2022/7/12 2:08:29]
Facebook 区块链项目的首席研究分析师。
CyberVein全球大使Jack：DAVE通过CROSS实现数据资产化:据官方消息，12月22号上午11点，CyberVein全球大使Jack在《瞰见未来—国际区块链技术创新峰会暨Cointelegraph中文一周年》的首秀现场发表了《DAVE：从代码可信到数据可信》的演讲。
Jack表示：经过CyberVein处理的数据将通过两种形式进行交易，传统数据交易可直接在DAVE上完成；想进一步将数据转化为NFT类型的金融资产，则需要在大数据支持NFT发行交易平台CROSS上完成，使数字资产价值多元化和长期化发展。据官方报道，CROSS已于12月21日正式成为首个入驻火币生态链Heco的平台。
CROSS本身的数据端输入和NFT种类主要分为数据金融衍生品（defi，保险）、数据算力（训练模型）、加密艺术品、溯源存证凭证。会上，Jack还透露CROSS会在2021年第一季度陆续公布CROSS的技术合作方和入驻机构，其中包括全球知名的30名艺术家、15个画廊，中日韩三方知名影视机构。[2020/12/22 16:05:33]
David Dill 是 Facebook 区块链项目的首席研究分析师，在斯坦福大学从教相当长时间， 曾在 nCent Labs 担任合伙人。
Penta CEO David Ritter：用区块链构建更好的经济模式有三个主要方式:Penta 公链（PNT）CEO David Ritter受主办方Galvanize的邀请参加了其在美国科罗拉多州Boulder市的见面会。Galvanize是一家著名的代码培训机构，也是美国区块链领域开发者聚集的中心之一。David 在演讲中提出了用区块链构建更好的经济模式的三个主要方式：普惠性技术；普惠性共识机制；普惠性社区。David表示 “今天是Penta在这里的一个新的开始，希望将来Penta 在科罗拉多州会有更多的发展机会。”[2018/6/3]
他的研究主要集中在形式化验证、计算生物学等。在形式化验证方向，研究了许多不同的方法和应用，并在自动机理论、基于 BDD 的模型检查、显式状态模型检查、CPU 验证方法、无量词逻辑的决策过程中为该领域做出了许多贡献。 他还完成了异步电路验证和综合以及硬实时系统验证方法的研究。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。