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