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教授などが含まれています。