星球日报讯 隐私计算网络和分布式经济体基础设施PlatON Network近日宣布伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore Rosu正式出任PlatON技术顾问,将专注于PlatON全球技术生态的战略构建与可持续发展。Rosu教授是科技企业Runtime Verification的创始人兼首席执行官。
Grigore Rosu教授系加州大学圣地亚哥分校计算机科学博士,曾任美国国家航空航天局(NASA)研究科学家,期间与同事一起开创了“运行时验证”这一前沿理念。目前任职伊利诺伊大学厄巴纳-香槟分校计算机科学教授。2010年,Rosu教授正式创立Runtime Verification,企业专注于区块链领域提供软件测试和验证方面的产品与服务,运用独特的动态验证技术来审核虚拟机和公链上的智能合约,全面提升区块链软件系统的安全稳定性。