Runtime Verification 总裁兼首席执行官。
Grigore Rosu 是伊利诺伊大学厄本那香槟分校的教授，以及 Runtime Verification 总裁兼首席执行官。他是编程语言、形式化验证、软件工程领域的研究员、教育家和企业家，主要目标是设计和开发有助于改善计算系统质量、性能、有效性的技术。
【德国央行官员：推出央行数字货币是一项“决定”】金色财经报道，在周二的一次讲话中，德国央行执行委员会成员Burkhard Balz将引入欧洲数字货币（数字欧元）描述为“决定”，而不是完全技术性的决定。Balz认为，鉴于此类项目的具体情况，以及对金融稳定、银行体系的健康状况以及消费者付款方式和持有价值的本质的影响，数字欧元的创建将具有意义。因此，对CBDC进行相对于其他选择的全面概念分析和评估是有必要的，特别是在履行我们的任务授权方面，而且也要考虑到其对整个社会的影响。他还表示支持央行之间的国际合作，包括在所谓的稳定币这一主题。
【1690万枚USDT从Tether Treasury钱包转入Binance，价值1691.8万美元】据Whale Alert数据显示，北京时间08月16日05:11，1690万枚USDT从Tether Treasury钱包转入Binance交易所，按当前价格计算，价值约1691.8万美元，交易哈希为：0d986ee26ca4d3ce97f16135bb66ffc0680a50c6ea9599e0db6a991a705110d7。
【行情 | 美股区块链概念股普遍收跌】今日美股收盘，美股区块链概念股普遍收跌。柯达收跌2.43%， 埃森哲收跌0.23%，Overstock.com收涨4.83%，Riot Blockchain收跌4.49%；Marathon Patent收跌3.03%，Square收跌2.01%。
【政协委员：建议京津冀联手加快区块链等产业培育和聚集发展】全国政协委员、天津市政协副主席黎昌晋在今年全国两会期间提交了《大力发展智能制造加快建设全国先进制造研发基地的提案》，建议京津冀联手，共同打造世界级先进制造产业集群，推动我国制造业高质量发展。 在京津冀协同发展产业链布局方面，黎昌晋建议，围绕新一代信息技术、新能源汽车、生物医药等三地优势产业，在集成电路、动力电池、生物制药、智能网联车等重点领域，规划建设京津冀协同发展产业链，发挥天津“七链”齐聚的完备优势，加快人工智能、5G、区块链等新兴产业培育和聚集发展，支持天津培育发展先进制造业集群，构建协同发展产业链，积极创建国家先进制造业集群，联合京冀在京津冀区域开展世界级先进制造业集群培育试点示范。 黎昌晋认为，应进一步加大对智能制造的财政支持力度，发挥专项资金作用，拓展支持范围，重点支持制造业智能化改造提升、关键技术与核心部件研发、智能装备与系统开发、5G和工业互联网等新型智能基础设施建设、车联网和区块链应用场景拓展等专项工作。（人民政协网）。
【Opyn将在24h内发布受漏洞影响的ETH看跌期权卖家列表】链上期权平台Opyn更新受漏洞影响的以太坊看跌期权卖家的赔偿流程：1.Opyn将在未来24小时之内发布所有受影响用户的地址及余额信息；2.用户可在24小时之内查看该列表；3.审核结束后，Opyn将在48小时内直接退还所有资金至受影响用户的地址。此前报道，Opyn表示，将全额赔偿受漏洞影响的以太坊看跌期权卖家。对于以太坊看跌期权买家，将按高于市场价20%的价格赎回看跌期权。
【Alameda Research积累了70％于8月份铸造的WBTC】金色财经报道，Alameda Research声称，其获得了8月份铸造的WBTC中的近70％。该公司在7月进行游说，以期将在Compound平台上赚取利息的抵押品数量从0％增加到40％。值得注意的是，该公司在8月份之前还没有开始铸造WBTC。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。