隐私计算网络和分布式经济体基础设施PlatON Network近日宣布伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore Rosu正式出任PlatON技术顾问,将专注于PlatON全球技术生态的战略构建与可持续发展。 Rosu教授是全球领先的科技企业Runtime Verification的创始人兼首席执行官。
Grigore Rosu教授,加州大学圣地亚哥分校计算机科学博士,曾任美国国家航空航天局(NASA)研究科学家,期间与同事一起开创了“运行时验证”这一前沿理念。目前任职伊利诺伊大学厄巴纳-香槟分校计算机科学教授。2010年,Rosu教授正式创立Runtime Verification,企业拥有世界顶尖的形式化验证团队,专注于区块链领域提供软件测试和验证方面的产品与服务,运用独特的动态验证技术来审核虚拟机和公链上的智能合约,全面提升区块链软件系统的安全稳定性,目前已与众多相关领域头部企业成为合作伙伴,在全球享有盛誉。
对于此次出任PlatON技术顾问,Rosu教授表示:“非常荣幸能够担任PlatON Network的技术顾问。此前,我们合作的Giskard共识协议验证项目取得了圆满成功,我非常期待与PlatON深化合作,深耕底层研究,扩大技术成果。”
消息,俄罗斯国防部表示,在过去24小时内,俄罗斯武装部队对乌克兰武装部队使用的燃料、能...
2 韩国将在2027年测试与CBDC挂钩的代币化政消息,韩国计划在2027年测试与韩国银行批发CBDC系统挂钩的代币化政府债券,此举将与代币证券...
3 所有日本油轮已驶离霍尔木兹海峡所有因中东局势而受影响的日本籍原油运输船已通过霍尔木兹海峡,离开波斯湾。不过,还有...
4 和顺石油:预计2026年上半年净利润同比增消息,和顺石油公告,预计2026年半年度实现归属于母公司所有者的净利润为6800万元到8800万元...
5 法国国防部长称将采取措施确保霍尔木兹消息,法国国防部长表示,准备采取一切必要措施,以实现停火并确保霍尔木兹海峡的航行自...
6 美银基金经理调查显示,83%的投资者预计消息,美银基金经理调查显示,83%的投资者预计美联储不会在11月美国中期选举前加息。这一调...
7 JCB与Circle启动USDC商业与零售支付试点消息,JCB与Circle合作测试USDC,用于日本的内部财务转账和商户支付,扩展稳定币在跨境企业结...
8 AAVE创始人:英国税务海关总署将按无收益消息,AAVE创始人Stani Kulechov表示,英国税务海关总署宣布,针对个人及受托人参与加密资产借...
9 摩根大通建议平仓美债长端利差交易,静消息,摩根大通策略师建议,投资者应在美国CPI数据公布以及美联储主席沃什首次赴国会作证...
10 华尔街银行二季度交易收入接近390亿美元分析师预计摩根大通、美国银行、花旗集团、高盛和摩根士丹利将在第二季度报告近390亿美元...
成都来彰科技 蜀ICP备2025134723号-1
资讯来源互联网,如有版权问题请联系管理员删除。