[Runtime Verification创始人 Grigore Rosu出任PlatON技术顾问]金色财经消息，伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore Rosu正式出任PlatON技术顾问，将在协议建模和智能合约的形式化验证等领域为PlatON提供助力，帮助团队更好地构建PlatON Network技术生态。
Rosu教授是科技企业Runtime Verification的创始人兼首席执行官。曾任美国国家航空航天局（NASA）研究科学家，期间与同事一起开创了“运行时验证”这一前沿理念。2010年，创立Runtime Verification，企业拥有世界顶尖的形式化验证团队，专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约，全面提升区块链软件系统的安全稳定性。
相关快讯：
CoinCrunchIndia创始人：印度海关官员不允许进口加密硬件钱包:CoinCrunchIndia创始人Naimish Sanghvi发推表示，印度海关官员不允许进口加密硬件钱包，这是由经过验证的消息源分享的。[2021/2/27 23:11:08]
动态 | 以太坊基金会研究员将于TechCrunch Disrupt讨论ETH 2.0:以太坊基金会研究员Justin Drake将出席知名科技媒体TechCrunch举办的创投大会TechCrunch Disrupt。据悉，该会议将于12月11日至12日于柏林举行，Drake主要将讨论以太坊2.0相关问题。（TechCrunch）[2019/10/22]
法国经济财政部长Bruno Le Maire拒绝承认比特币和商业投机及隐藏财产有关:法国央行前任副行长兰道（Jean-Pierre Landau）将牵头起草一份新的法案。该法案将为监管者提供更多指导，以更好地控制虚拟货币的发展，防止虚拟货币被用于逃税，或资助犯罪活动或恐怖主义。然而法国经济财政部长Bruno Le Maire表示他拒绝承认比特币与商业投机以及隐藏财产有关。[2018/1/16]
郑重声明： Runtime Verification创始人 Grigore Rosu出任PlatON技术顾问版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。