隐私计算网络 PlatON 聘请伊利诺伊大学计算机科学教授 Grigore Rosu 为技术顾问

隐私计算网络和分布式经济体基础设施 PlatON Network 宣布伊利诺伊大学厄巴纳-香槟分校计算机科学教授 Grigore Rosu 出任 PlatON 技术顾问，Grigore Rosu 将在协议建模和智能合约的形式化验证等领域为 PlatON 提供技术帮助。

Grigore Rosu 是科技企业 Runtime Verification 的创始人兼首席执行官，曾任美国国家航空航天局（NASA）研究科学家，并于 2010 年正式创立 Runtime Verification；该公司专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约。