Grigore Rosu传授，加州大学圣地亚哥分校计较机科学博士，曾任美国国度航空航天局（NASA）研究科学家，期间与同事一起开创了“运行时验证”这一前沿理念。今朝任职伊利诺伊大学厄巴纳-香槟分校计较机科学传授。2010年，Rosu传授正式创建Runtime Verification，企业拥有世界顶尖的形式化验证团队，专注于区块链规模提供软件测试和验证方面的产物与处事，运用奇特的动态验证技能来审核虚拟机和公链上的智能合约，全面晋升区块链软件系统的安详不变性，今朝已与浩瀚相关规模头部企业成为相助同伴，在全球享有盛誉。
对付此次出任PlatON技能参谋，，Rosu传授暗示：“很是侥幸可以或许接受PlatON Network的技能参谋。此前，我们相助的Giskard共鸣协议验证项目取得了圆满乐成，我很是等候与PlatON深化相助，深耕底层研究，扩大技能成就。”
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
