国产电影精品一区-日韩专区一区-亚洲小说欧美激情另类,亚洲精品在线观看视频,欧美性生交大片免费看app麻豆,久久99国产精品二区不卡

全球Web3.0安全先鋒CertiK聯創顧榮輝教授,再獲計算機科學領域大獎

熱點
TIME
2023-07-14 17:05
科技在線
分享

  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聯合創始人顧榮輝。


THE END
免責聲明:本文系轉載,版權歸原作者所有;刊載之目的為傳播更多信息,如內容不適請及時通知我們。

相關熱點

  人民網北京7月14日電(記者羅知之)國務院新聞辦公室今日舉行新聞發布會,介紹2023年上半年金融統計數據情況。中國人民銀行貨幣政策司司長鄒瀾在會上表示,按照市場化、法...
房產
  據深圳市中級人民法院,2023年7月14日,廣東省深圳市中級人民法院對小牛資本管理集團有限公司主要負責人彭鐵等26人非法集資案一審公開宣判。小牛集團法定代表人、實控...
證券

相關推薦

1
3