CertiK 联合创始人顾荣辉教授获 VMware 重要学术奖项，学界精英开启 Web3.0 新时代

作者：CertiK

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

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

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

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

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

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

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

VMware 研究员 Christos Karamanolis 补充道：“顾荣辉对形式化方法研究的深度、广度和关注——包括对核心平台和量子计算等新兴领域的发展推动，是非常了不起的。这代表了我们在颁发这一奖项时所看重的系统研究重点。”

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

VMware Systems Research Award 对顾荣辉教授的认可，也表明了计算机科学学术界的高精尖技术，已渗透到 Web3.0 领域。而往届获奖者包括斯坦福大学计算机科学 Matei Zaharia 教授，麻省理工大学计算机科学Tim Kraska及Mohammad Alizadeh教授，卡内基梅隆大学计算机科学教授Justine Sherry及Rashmi Vinayak教授等。