Grigore Rosu正式出任PlatON技术顾问，以全球视界助力PlatON技术生态发展

隐私计算网络与分布式经济体基础设施PlatON Network近日宣布伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore Rosu正式出任PlatON技术顾问，Rosu教授是全球领先的科技企业Runtime Verification的创始人兼首席执行官，出任PlatON技术顾问后将专注于PlatON全球技术生态的战略构建与可持续发展。 

Grigore Rosu教授，加州大学圣地亚哥分校计算机科学博士，曾任美国国家航空航天局（NASA）研究科学家，期间与同事一起开创了“运行时验证”这一前沿理念。目前任职伊利诺伊大学厄巴纳-香槟分校计算机科学教授。2010年，Rosu教授正式创立Runtime Verification，企业拥有世界顶尖的形式化验证团队，专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约，全面提升区块链软件系统的安全稳定性，目前已与众多相关领域头部企业成为合作伙伴，在全球享有盛誉。

对于此次出任PlatON技术顾问，Rosu教授表示：“非常荣幸能够担任PlatON Network的技术顾问。此前，我们合作的Giskard共识协议验证项目取得了圆满成功，我非常期待与PlatON深化合作，深耕底层研究，扩大技术成果。”

Rosu教授一直致力于研究提升软件系统质量，性能和效率，他将在协议建模和智能合约的形式化验证等领域为PlatON提供助力，帮助团队更好地构建PlatON Network技术生态。