CertiK Co-Founder Professor Ronghui Gu Honored with VMware Systems Research Award


CertiK Co-Founder Professor Ronghui Gu Honored with VMware Systems Research Award

New York, July 13, 2023 (GLOBE NEWSWIRE) --  CertiK is proud to announce that its co-founder, Ronghui Gu, who is also Tang Family Assistant Professor of Computer Science at Columbia University, won the highly regarded 2022 VMware Systems Research Award.

VMware is a global leader in cloud infrastructure and virtualization technology. Established by VMware's academic sector, the Systems Research Award aims to acknowledge and support promising emerging research in computer science systems. It shines a spotlight on groundbreaking research that has the potential to significantly advance the field of computer science.

Professor Gu is recognized for his fundamental contributions to the theory of systems verification. His work, translating theoretical results into real-world applications for creating bug-free and secure system software, has found novel applications.

Professor Gu's most distinguished work is his Ph.D. thesis conducted at Yale University. This pioneering work involved the intricate task of certifying the CertiKOS operating system kernel, a complex endeavor encompassing everything from compilers to the fundamental building blocks of the operating system.

Gu’s advisor, and also co-founder at CertiK, Professor Zhong Shao says, “Certifying an operating system is a huge task, involving models of many components ranging from threads and processes to physical and virtual memory management. Ronghui was a main driver to make the CertiKOS vision become a reality: he addressed the complexity of concurrency, and he got the proofs done for a realistic system.”

Professor Greg Morrisett, Dean and Vice-Provost of Cornell Tech, says, “I think CertikOS is a tremendous leap forward, not so much in the artifact itself, but rather in the methodology used for constructing the proofs (though the artifact is also cool).”

“Ronghui’s work represents an important data point in the evolution of formal verification technique,” said VMware Fellow Pratap Subrahmanyam, as quoted by VMWare. “Making otherwise esoteric technologies accessible in practical settings is one reason we value Ronghui’s research.” VMware Fellow Christos Karamanolis added “Ronghui’s depth, breadth, and focus on the advancement of formal methods – including both core platforms and emerging areas such as Quantum Computing – is remarkable and representative of the kind of systems research focus we value in making this award.”

Reflecting his originality, potential for future impact, and the significance of his findings, the VMware University Research Fund will provide a grant of $125,000 to Columbia University in support of Professor Gu's continuing research.

In 2018, Professor Gu and Professor Zhong Shao, Chair of Yale University's Department of Computer Science, co-founded CertiK, a leading provider of blockchain security solutions. Leveraging advanced formal verification, AI auditing technologies, and expert manual checks, CertiK monitors the security of blockchain protocols and smart contracts.

The recognition of Professor Gu by the VMware Systems Research Award underscores the advanced level of sophistication that computer science academia has brought to the Web3 arena. Previous recipients of this esteemed award include professors of computer science at Stanford, MIT, Purdue, and Carnegie Mellon University.

About CertiK

CertiK is a pioneer in blockchain security, leveraging best-in-class technology to protect and monitor blockchain protocols and smart contracts. Founded in 2018 by professors from Yale University and Columbia University, CertiK’s mission is to secure the Web3 world. CertiK applies cutting-edge innovations from academia to enterprise, enabling mission-critical applications to scale with safety and correctness.

One of the fastest-growing and most trusted companies in blockchain security, CertiK is a true market leader. To date, CertiK has worked with nearly 4,000 enterprise clients, secured over $360 billion worth of digital assets, and has detected nearly 70,000 vulnerabilities in blockchain code. Clients include leading projects such as Aave, Polygon, Binance Smart Chain, Yearn Finance, and Chiliz.



Hari Govindarajan PR & Comms Specialist, Luna PR hari@lunapr.io

TIN LIÊN QUAN

CertiK Partners with Alibaba Cloud to Bring Blockchain Security to the Cloud

[img]http://phpstack-911252-3168991.cloudwaysapps.com/api/ImageRender/DownloadFile?resourceId=85c34c15-13e1-4211-a6e8-37028711fa3d&size=3[/img]

Brand Strategy Firm Founder, Professor and Speaker Sasha

Top Agricultural industry leaders from California and Arizona are set to attend the UnitedAg Annual Conference at Disney's Grand Californian Hotel & Spa...

05/2023 Green Hydrogen Systems announces changes to its

Company announcement 05/2023 Green Hydrogen Systems announces changes to its Board of Directors Kolding, Denmark, 1 March 2023 – In connection with...

THỦ THUẬT HAY

Nếu không thích trình duyệt mặc định Edge trong Windows 11, bạn có thể thay đổi nó

Khi truy cập Internet lần đầu trên Windows 11 ở một trình duyệt khác không phải là Edge, bạn sẽ được hỏi là có muốn thay đổi trình duyệt này thành mặc định hay không. Để đơn giản hóa quá trình thay đổi này, bạn có thể

Bạn muốn biết mình giống với người nổi tiếng nào nhất? Hãy dùng ứng dụng của Microsoft

Hiện nay có khá nhiều trang web cung cấp các công cụ giúp so sánh mức độ giống nhau giữa bạn và người nổi tiếng nào đó. Tuy nhiên, cách sử dụng lại khá phức tạp, thậm chí là yêu cầu xác nhận thông tin cá nhân, làm ảnh

Cách đăng ảnh toàn cảnh 360 độ lên Instagram

Hiện nay, Instagram đã cập nhật rất nhiều tính năng thú vị giúp người dùng có thể trải nghiệm mạng xã hội này một cách tốt nhất bao gồm việc phát video trực tiếp hay đăng ảnh 360 độ Panorama lên Instagram,... Vậy làm

Tăng sự bảo mật cũng như riêng tư cho các cuộc trò chuyện trên WhatsApp của bạn

Thậm chí khi WhatsApp mã hóa tất cả cuộc trò chuyện theo mặc định thì đôi khi bạn vẫn cần kiểm tra lại, nhất là khi chia sẻ những thông tin nhạy cảm như số thẻ tín dụng với một liên lạc đáng tin cậy.

Hướng dẫn cách nâng cấp lên Windows 10 từ USB

Qua phần 1, mình đã hướng dẫn các bạn cách Cách nâng cấp lên Windows 10 trực tiếp trên trang chủ của microsoft. Tiếp theo, là cách nâng cấp lên Windows 10 từ USB.

ĐÁNH GIÁ NHANH

Đánh giá tính năng Portrait Lighting trên iPhone X: hoạt động tốt nhưng vẫn còn nhiều mặt hạn chế

Những hiệu ứng ánh sáng kết hợp với hiệu ứng chiều sâu làm được giới thiệu trên iPhone 7 Plus nhằm giúp cho người dùng có thể sở hữu những bức ảnh chụp chân dung chuyên nghiệp dễ dàng.

Đánh giá realme narzo 30A: Thiết kế nổi bật, cấu hình tiện chiến game, đáng cân nhắc trong tầm giá 3-4 triệu

narzo 30A là chiếc smartphone vừa được realme cho ra mắt thị trường Việt Nam. Chiếc máy này không chỉ gây ấn tượng bởi cái tên có phần khác lạ so với dải sản phẩm vốn có của realme mà còn ấn tượng ở cả thiết kế mặt

Đánh giá chi tiết Galaxy J7+: Nhận diện khuôn mặt, camera kép xoá phông ảo dịu, hiệu năng ổn

Galaxy J7+ hiện là một trong những sản phẩm tầm trung nhận được khá nhiều sự quan tâm của người dùng bởi sự kế thừa khá nhiều tính năng từ những máy cao cấp của hãng, như mở khoá bằng nhận diện khuôn mặt, camera kép có