CertiK聯合創始人哥倫比亞大學計算機科學系顧榮輝教授榮獲了備受矚目的2022年度VMware Systems Research Award 。
VMware是云計算基礎架構和虛擬化技術的全球領導者。VMware Systems Research Award由VMware學術部門設立,旨在表彰和支持計算機科學系統領域有潛力和前途的新興研究,并關注有可能極大推動計算機科學領域發展的突破性研究。
顧教授因其在系統驗證理論方面的基礎性貢獻而廣受認可。而他也將工作理論成果轉化成了無漏洞(bug-free)和安全的系統軟件實際應用,并拓展了其應用領域。
就在上月,新加坡金融管理局(MAS)公布了最新國際技術咨詢委員會委員。該小組由各領域的技術和創新領導者組成,在Web3.0領域內的專家則由安全先鋒CertiK的聯合創始人顧榮輝教授出席擔任。
耶魯大學時期的博士論文,是顧榮輝教授最杰出的成就之一。這項開創性的工作涉及認證CertiKOS操作系統內核的復雜任務,而這項復雜的工作包括了從編譯器到操作系統基本構件中的所有內容。
顧榮輝教授的導師、CertiK公司聯合創始人邵忠教授表示:“操作系統認證是一項艱巨的任務,涉及從線程和進程到物理和虛擬內存管理等許多組件的模型。顧榮輝是使CertiKOS愿景成為現實的主要推動者:他解決了并發的復雜性,同時完成了現實系統的證明。”
康奈爾大學工學院院長兼副教務長Greg Morrisett教授曾表示:“我認為CertikOS是一個巨大的飛躍。與其說它是一個工具,不如說它是一種構建證明的方法(當然這個工具本身也很酷)。”
VMware研究員Pratap Subrahmanyam表示:“顧榮輝的工作代表了形式化驗證技術發展過程中的一個重要數據點。他讓原本深奧的技術能夠在實際環境中得到應用。這也是我們認為顧榮輝的研究極具價值的原因之一。”
VMware研究員Christos Karamanolis補充道:“顧榮輝對形式化方法研究的深度、廣度和關注——包括對核心平臺和量子計算等新興領域的發展推動,是非常了不起的。這代表了我們在頒發這一獎項時所看重的系統研究重點。”
VMware大學研究基金將向哥倫比亞大學提供12.5萬美元以支持顧教授的持續研究,這也反映了顧教授原創性、未來影響的潛力以及研究成果的重要性。
2018年,顧榮輝教授與耶魯大學計算機系主任邵忠教授共同創立了區塊鏈安全解決方案供應商CertiK。CertiK利用先進的形式化驗證、AI審計技術及專家人工審計,掃描和監控區塊鏈協議和智能合約的安全性。成立后不到5年,CertiK的估值就已高達20億美元。
VMware Systems Research Award對顧榮輝教授的認可,也表明了計算機科學學術界的高精尖技術,已滲透到Web3.0領域。而往屆獲獎者包括斯坦福大學計算機科學Matei Zaharia教授,麻省理工大學計算機科學Tim Kraska及Mohammad Alizadeh教授,卡內基梅隴大學計算機科學教授Justine Sherry及Rashmi Vinayak教授。2022年度獲獎者,為上述哥倫比亞大學計算機科學教授兼CertiK聯合創始人顧榮輝。