Grigore Rosu正式出任PlatON技术顾问,以全球视界助力PlatON技术生态发展
摘要: 隐私计算网络与分布式经济体基础设施PlatON Network近日宣布伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore Rosu正式出任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技术生态。
评论(0)
Oh! no
您是否确认要删除该条评论吗?