Profesor Gu Ronghui, salah satu pendiri CertiK, mendapat penghargaan dari VMware – Beragampengetahuan

NEW YORK, 13 Juli 2023 (GLOBE NEWSWIRE) — Sertifikat Dengan bangga mengumumkan bahwa salah satu pendiri dan Asisten Profesor Ilmu Komputer Keluarga Tang di Universitas Columbia, Ronghui Gu, telah dianugerahi Penghargaan Riset Sistem VMware 2022 yang sangat dihormati.

VMware adalah pemimpin global dalam infrastruktur cloud dan teknologi virtualisasi. Systems Research Awards didirikan oleh VMware Academics untuk mengenali dan mendukung penelitian baru yang menjanjikan di bidang sistem ilmu komputer. Ini berfokus pada penelitian terobosan yang memiliki potensi untuk memajukan bidang ilmu komputer secara signifikan.

Profesor Gu diakui atas kontribusi mendasarnya pada teori verifikasi sistem. Karyanya menerjemahkan hasil teoretis ke dalam aplikasi dunia nyata untuk membuat perangkat lunak sistem yang bebas bug dan aman, dan telah menemukan aplikasi baru.

Karya Profesor Gu yang paling terkenal adalah gelar Ph.D. Tesis dilakukan di Universitas Yale. Pekerjaan rintisan ini melibatkan tugas yang rumit untuk menyertifikasi kernel sistem operasi CertiKOS, sebuah upaya rumit yang mencakup segala sesuatu mulai dari kompiler hingga blok bangunan dasar sistem operasi.

Profesor Shao Zhong, mentor Gu dan salah satu pendiri CertiK, berkata: “Sertifikasi sistem operasi adalah tugas berat yang melibatkan pemodelan banyak komponen, mulai dari utas dan proses hingga manajemen memori fisik dan virtual. Pemberdaya utama realitas: dia memecahkan kompleksitas konkurensi dan melengkapi bukti untuk sistem nyata.”

“Saya pikir CertikOS adalah lompatan besar, tidak hanya dalam artefak itu sendiri, tetapi dalam metode yang digunakan untuk membangun bukti (walaupun artefak itu juga cukup keren),” kata Prof. Greg Morrisett, Dean and Associate Provost, Cornell Tech. .

“Pekerjaan Ronghui mewakili titik data penting dalam evolusi teknik verifikasi formal,” kata Pratap Subrahmanyam, VMware Fellow. referensi VMWare. “Membuat teknik esoteris dapat digunakan dalam pengaturan dunia nyata adalah salah satu alasan mengapa kami menghargai penelitian kehormatan.” VMware Fellow Christos Karamanolis menambahkan: “Kedalaman, keluasan, dan fokus pada kemajuan dalam metode formal—termasuk bidang inti yang Muncul seperti platform dan komputasi kuantum – luar biasa dan mewakili fokus penelitian sistem yang kami tekankan dalam pemberian penghargaan ini.”

Hibah Penelitian Universitas VMware akan memberi Universitas Columbia hibah $125.000 untuk mendukung penelitian berkelanjutan Profesor Gu, yang mencerminkan orisinalitasnya, potensi dampak di masa depan, dan pentingnya penemuannya.

Pada tahun 2018, Profesor Gu mendirikan CertiK, penyedia solusi keamanan blockchain terkemuka, bersama Profesor Shao Zhong, Dekan Departemen Ilmu Komputer di Universitas Yale. CertiK memantau keamanan protokol blockchain dan kontrak pintar menggunakan verifikasi formal lanjutan, teknik audit AI, dan inspeksi manual ahli.

Pengakuan Profesor Gu dengan VMware Systems Research Award menyoroti tingkat kemajuan komunitas ilmu komputer yang telah dibawa ke bidang Web3. Penerima penghargaan sebelumnya termasuk profesor ilmu komputer di Stanford, MIT, Purdue dan Carnegie Mellon.

Tentang CertiK

CertiK adalah pelopor dalam keamanan blockchain, memanfaatkan teknologi terbaik di kelasnya untuk mengamankan dan memantau protokol blockchain dan smart contract. CertiK didirikan pada tahun 2018 oleh para profesor dari Universitas Yale dan Columbia dengan misi untuk mengamankan dunia Web3. CertiK menghadirkan inovasi mutakhir dari akademisi ke perusahaan, memungkinkan aplikasi penting untuk diskalakan dengan aman dan benar.

CertiK adalah salah satu perusahaan dengan pertumbuhan tercepat dan paling tepercaya di ruang keamanan blockchain dan merupakan pemimpin pasar sejati. Hingga saat ini, CertiK telah bekerja dengan hampir 4.000 klien perusahaan, mendapatkan aset digital senilai lebih dari $360 miliar, dan mendeteksi hampir 70.000 kerentanan dalam kode blockchain. Klien termasuk proyek terkemuka seperti Aave, Polygon, Binance Smart Chain, Yearn Finance, dan Chiliz.