CertiK联合创始人哥伦比亚大学计算机科学系顾荣辉教授荣获了备受瞩目的2022年度VMware Systems Research Award 。

　　就在上月,新加坡金融管理局(MAS)公布了最新国际技术咨询委员会委员。该小组由各领域的技术和创新领导者组成,在Web3.0领域内的专家则由安全先锋CertiK的联合创始人顾荣辉教授出席担任。

　　顾教授因其在系统验证理论方面的基础性贡献而广受认可。而他也将工作理论成果转化成了无漏洞(bug-free)和安全的系统软件实际应用,并拓展了其应用领域。

　　VMware是云计算基础架构和虚拟化技术的全球领导者。VMware Systems Research Award由VMware学术部门设立,旨在表彰和支持计算机科学系统领域有潜力和前途的新兴研究,并关注有可能极大推动计算机科学领域发展的突破性研究。

　　耶鲁大学时期的博士论文,是顾荣辉教授最杰出的成就之一。这项开创性的工作涉及认证CertiKOS操作系统内核的复杂任务,而这项复杂的工作包括了从编译器到操作系统基本构件中的所有内容。

　　顾荣辉教授的导师、CertiK公司联合创始人邵忠教授表示:“操作系统认证是一项艰巨的任务,涉及从线程和进程到物理和虚拟内存管理等许多组件的模型。顾荣辉是使CertiKOS愿景成为现实的主要推动者:他解决了并发的复杂性,同时完成了现实系统的证明。”

　　VMware研究员Pratap Subrahmanyam表示:“顾荣辉的工作代表了形式化验证技术发展过程中的一个重要数据点。他让原本深奥的技术能够在实际环境中得到应用。这也是我们认为顾荣辉的研究极具价值的原因之一。”

　　VMware大学研究基金将向哥伦比亚大学提供12.5万美元以支持顾教授的持续研究,这也反映了顾教授原创性、未来影响的潜力以及研究成果的重要性。

　　康奈尔大学工学院院长兼副教务长Greg Morrisett教授曾表示:“我认为CertikOS是一个巨大的飞跃。与其说它是一个工具,不如说它是一种构建证明的方法(当然这个工具本身也很酷)。”

　　2018年,顾荣辉教授与耶鲁大学计算机系主任邵忠教授共同创立了区块链安全解决方案供应商CertiK。CertiK利用先进的形式化验证、AI审计技术及专家人工审计,扫描和监控区块链协议和智能合约的安全性。成立后不到5年,CertiK的估值就已高达20亿美元。

　　顾荣辉教授获得VMware Systems Research Award,彰显了计算机科学学术界对Web3领域技术提升的认可。此前获得这一殊荣的包括斯坦福大学、麻省理工学院、普渡大学和卡内基梅隆大学的计算机科学教授。


新财网对文中陈述、观点判断保持中立，不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。读者应详细了解所有相关投资风险，并请自行承担全部责任。本文内容版权归新财网投稿作者所有！