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

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

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

免责声明：作为区块链信息平台，本站所发布文章仅代表作者个人观点，与链闻 ChainNews 立场无关。文章内的信息、意见等均仅供参考，并非作为或被视为实际投资建议。

—-

编译者/作者：区块链网络

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。