Write a Blog >>
Ronghui Gu

Registered user since Fri 22 Jan 2016

Name:Ronghui Gu

Ronghui Gu is the inaugural Tang Family Assistant Professor of Computer Science at Columbia University and a Cybersecurity Affiliated member of Columbia’s Data Science Institute. His thesis work on building certified OS kernels received the Yale Doctoral Dissertation Award and was nominated for the ACM Doctoral Dissertation Award. He is the primary designer and developer of CertiKOS, the first verified concurrent OS kernel, and SeKVM, the first verified commodity cloud hypervisor–major milestones toward building safe and secure systems software. Gu also co-founded CertiK, a blockchain cybersecurity company raised over $70 million and backed by Tiger Global, Coatue, and Hillhouse Capital. CertiK has collectively served more than 1,000 enterprise clients and secured more than $100 billion worth of assets in cryptocurrency. For his work in systems verification, Gu received: an OSDI Jay Lepreau Best Paper Award, two Amazon Research Awards, an SOSP Best Paper Award, and a CACM Research Highlight. He obtained his Ph.D. degree from Yale University in 2016 and bachelor’s degree from Tsinghua University in 2011.

Affiliation:Columbia University
Research interests:Programming languages and operating systems, with a focus on systems verification and proof automation.


Show activities from other conferences

POPL 2020-profile
View general profile