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 教授等。