KUALA LUMPUR, July 14 (Bernama) -- CertiK, a pioneer in blockchain security announced its co-founder, Ronghui Gu has won the highly regarded 2022 VMware Systems Research Award.
VMware is a global leader in cloud infrastructure and virtualisation technology. Established by VMware's academic sector, the Systems Research Award aims to acknowledge and support promising emerging research in computer science systems.
Professor Gu who is also Tang Family Assistant Professor of Computer Science at Columbia University, was recognised for his fundamental contributions to the theory of systems verification.
According to CertiK in a statement, Professor Gu’s 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 PhD thesis conducted at Yale University, in which this pioneering work involved the intricate task of certifying the CertiKOS operating system kernel, a complex endeavour encompassing everything from compilers to the fundamental building blocks of the operating system.
Reflecting his originality, potential for future impact, and the significance of his findings, the VMware University Research Fund will provide a grant of US$125,000 to Columbia University in support of Professor Gu's continuing research. (US$1=RM4.54)
In 2018, Professor Gu and Professor Zhong Shao, Chair of Yale University's Department of Computer Science, co-founded CertiK. Leveraging advanced formal verification, artificial intelligence 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.
-- BERNAMA
No comments:
Post a Comment