Ronghui Gu is a computer science professor at Columbia University. He obtained his Ph.D. from Yale University and a bachelor's degree from Tsinghua University.
He is the primary designer and developer of CertiKOS, the first verified concurrent OS kernel--a major milestone toward building secure systems software. Gu co-founded CertiK, a Web3 cybersecurity unicorn startup valued at $2 billion. CertiK has collectively served over 4,000 enterprise clients and secured more than $360 billion worth of assets in cryptocurrency. For his work in systems verification, Gu received: a National Science Foundation CAREER Award, a VMware Systems Research Award, three Amazon Research Awards, an OSDI Jay Lepreau Best Paper Award, an SOSP Best Paper Award, and a CACM Research Highlight.
