[Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问]金色财经消息，伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore?Rosu正式出任PlatON技术顾问，将在协议建模和智能合约的形式化验证等领域为PlatON提供助力，帮助团队更好地构建PlatON Network技术生态。
Rosu教授是科技企业Runtime Verification的创始人兼首席执行官。曾任美国国家航空航天局（NASA）研究科学家，期间与同事一起开创了“运行时验证”这一前沿理念。2010年，创立Runtime Verification，企业拥有世界顶尖的形式化验证团队，专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约，全面提升区块链软件系统的安全稳定性。
声音 | TechCrunch创始人：就区块链领域的监管而言 美国实在是很差劲:TechCrunch、Arrington XRP Capital创始人Michael Arrington近期在旧金山的区块链周上谈到了中国进军区块链领域的举措，并直言不讳地表达了自己对美国监管者的不满：“他们太差劲了。恕我实在看不出美国在这方面有什么合格的监管能力或有做好工作的意愿。”（Decrypt）[2019/11/3]
动态 | ETC Labs Core发布“Jade Service Runner”:据ETC官方推特，ETC Labs Core发布“Jade Service Runner”，这是众多Jade-Suite工具中的第一个。[2019/6/2]
郑重声明： Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。