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深化合作，深耕底层研究，扩大技术成果。”

上一篇：9月22日晚5城出手调控楼市炒房者被彻底打懵返回首页

下一篇：牛肉价格多少钱一斤？2021年3月30日牛肉价格行情

热点推荐

1 CZ：币安在欧盟MICA申请失败是欧洲的损失

消息，CZ表示，币安在欧盟的MICA申请失败是欧洲的损失。他声称，币安曾被欧盟监管机构告知...

2 欧洲加密牌照截止日期临近，未持牌平台

消息，欧洲的加密牌照截止日期将于7月1日到来，未持牌的平台必须停止为欧盟用户。任何没有...

3 美伊谈判持续之际，伊朗恢复飞往迪拜的

在经历了数月的冲突后，重启德黑兰至迪拜航线的各项准备工作已完成，首个航班已于周一启...

4 bitmine增持27084枚ETH，Tom Lee看好加密行业

消息，bitmine上周增持27084枚ETH，截至2026年6月28日，总持仓达5700040枚，占总供应量的4.7%。bitm...

5 伊朗外长：中东各国绝不能允许其领土被