您现在的位置:主页 > 头条 >

Grigore Rosu正式出任PlatON技术顾问 以全球视界助力

更新时间:2021-04-01 17:36:07

  隐私计算网络和分布式经济体基础设施PlatON Network近日宣布伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore Rosu正式出任PlatON技术顾问,将专注于PlatON全球技术生态的战略构建与可持续发展。 Rosu教授是全球领先的科技企业Runtime Verification的创始人兼首席执行官。
Grigore Rosu教授,加州大学圣地亚哥分校计算机科学博士,曾任美国国家航空航天局(NASA)研究科学家,期间与同事一起开创了“运行时验证”这一前沿理念。目前任职伊利诺伊大学厄巴纳-香槟分校计算机科学教授。2010年,Rosu教授正式创立Runtime Verification,企业拥有世界顶尖的形式化验证团队,专注于区块链领域提供软件测试和验证方面的产品与服务,运用独特的动态验证技术来审核虚拟机和公链上的智能合约,全面提升区块链软件系统的安全稳定性,目前已与众多相关领域头部企业成为合作伙伴,在全球享有盛誉。
对于此次出任PlatON技术顾问,Rosu教授表示:“非常荣幸能够担任PlatON Network的技术顾问。此前,我们合作的Giskard共识协议验证项目取得了圆满成功,我非常期待与PlatON深化合作,深耕底层研究,扩大技术成果。”