[Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问]金色财经消息，伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore?Rosu正式出任PlatON技术顾问，将在协议建模和智能合约的形式化验证等领域为PlatON提供助力，帮助团队更好地构建PlatON Network技术生态。
Rosu教授是科技企业Runtime Verification的创始人兼首席执行官。曾任美国国家航空航天局（NASA）研究科学家，期间与同事一起开创了“运行时验证”这一前沿理念。2010年，创立Runtime Verification，企业拥有世界顶尖的形式化验证团队，专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约，全面提升区块链软件系统的安全稳定性。
动态 | 加密货币交易所Kraken遭前雇员Nathan Runyon起诉:区块链怀疑论者David Gerard于其个人网站发文称，其已拿到一份2019年11月26日由Kraken前雇员Nathan Runyon起诉该交易所的文件副本。Runyon声称，Kraken方面伪造了公司高管地址、客户资金消失、股票期权欺诈和违反制裁规定等问题，他因提出这些问题而被解雇。（David Gerard个人网站）[2019/12/18]
动态 | ETC Labs Core发布“Jade Service Runner”工具:6月1日，ETC官方推特宣布，ETC Labs Core发布了“Jade Service Runner”，这是众多Jade-Suite工具中的第一个。[2019/6/2]
印度财长Arun Jaitley：政府并不认为加密货币是法定货币，而是会采取一切措施，消除这些加密资产用于非法活动或作为支付系统的一部分:印度财长Arun Jaitley在提及国家预算时谈到了加密货币，他表示：“政府并不认为加密货币是法定货币，而是会采取一切措施，消除这些加密资产用于非法活动或作为支付系统的一部分。”[2018/2/3]
郑重声明： Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。