隐私计算网络和分布式经济体基础设施PlatON Network近日宣布伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore Rosu正式出任PlatON技术顾问，将专注于PlatON全球技术生态的战略构建与可持续发展。 Rosu教授是全球领先的科技企业Runtime Verification的创始人兼首席执行官。
Grigore Rosu教授，加州大学圣地亚哥分校计算机科学博士，曾任美国国家航空航天局（NASA）研究科学家，期间与同事一起开创了“运行时验证”这一前沿理念。目前任职伊利诺伊大学厄巴纳-香槟分校计算机科学教授。2010年，Rosu教授正式创立Runtime Verification，企业拥有世界顶尖的形式化验证团队，专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约，全面提升区块链软件系统的安全稳定性，目前已与众多相关领域头部企业成为合作伙伴，在全球享有盛誉。
对于此次出任PlatON技术顾问，Rosu教授表示：“非常荣幸能够担任PlatON Network的技术顾问。此前，我们合作的Giskard共识协议验证项目取得了圆满成功，我非常期待与PlatON深化合作，深耕底层研究，扩大技术成果。”
消息，据a早期发行in监测，LAB过去24小时成交量放大至近7日平均水平的3.9倍，价格累计下跌5...
2 阿里巴巴新AI模型称仅次于Anthropic的Fabl消息，阿里巴巴宣布其新AI模型Qwen3.8 Max的参数量达到2.4万亿，声称在领先的前沿AI模型中仅次...
3 Solana网络单日收入重回区块链榜首，为近消息，据Solanafloor数据，Solana在7月18日的网络收入位居所有区块链第一，这是近五个月以来的首...
4 Nouriel Roubini：AI可能迫使政府采用普遍基消息，Nouriel Roubini在接受Bloomberg TV采访时警告，人工智能的快速发展可能迫使各国政府选择普...
5 A股三大股指走低，深证成指跌2%7月20日，A股三大股指走低，深证成指跌2%，创业板指跌1.34%，沪指跌0.51%。...
6 MetaMask聘用朝鲜黑客，未造成实质损失消息，MetaMask聘请了与朝鲜有关的黑客作为开发者，该黑客GitHub账号imyugioh自2025年9月起已在L...
7 BTC、ETH、SOL和XRP ETF上周净流入情况消息，上周比特币、以太坊、索拉纳和瑞波币现货ETF均出现净流入。其中，比特币净流入7567万...
8 国信证券吴信坤：阶段性买点或已出现消息，国信证券策略首席分析师吴信坤发布最新研究报告表示，截至7月17日，全部A股PE为21.8倍...
9 Binance停止支持Moonriver和Moonbeam主网消息，Binance宣布停止支持Moonriver和Moonbeam主网，并开放上述代币通过Base网络进行充值和提现。...
10 SpaceX定于7月23日进行Starship第13次飞行测试消息，SpaceX计划于7月23日进行Starship的第13次飞行测试，此前在7月16日的发射中因发动机点火故...
成都来彰科技 蜀ICP备2025134723号-1
资讯来源互联网，如有版权问题请联系管理员删除。
