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萬美元以支持顧教授的持續研究，這也反映了顧教授原創性、未來影響的潛力以及研究成果的重要性。

鄭重聲明：本文版權歸原作者所有，轉載文章僅為傳播信息之目的，不構成任何投資建議，如有侵權行為，請第一時間聯絡我們修改或刪除，多謝。