Ronghui Gu
Tang Family Associate Professor of Computer Science
Ronghui Gu is the inaugural Tang Family Associate Professor of Computer Science at Columbia University.
His thesis work on building certified OS kernels received the Yale 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. Gu co-founded CertiK, a Web3 cybersecurity unicorn startup valued at $2 billion. For his work in systems verification, Gu received: an NSF 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. He obtained his Ph.D. from Yale University in 2016 and a bachelor's degree from Tsinghua University in 2011.
Research Areas
- Operating Systems
- Programming Languages
- Web3 & Blockchain
- Cybersecurity
- Quantum Computing
Additional Information
-
Professional Experience
- Tang Family Associate Professor, Columbia University, 2024-
- Associate Professor of Computer Science, Columbia University, 2024-
- Tang Family Assistant Professor, Columbia University, 2021-2023
- Assistant Professor of Computer Science, Columbia University, 2018-2020
-
Honors & Awards
- NCF CAREER Award, 2023
- VMware Systems Research Award, 2023
- Amazon Research Awards, Amazon, 2022
- OSDI Jay Lepreau Best Paper Award, USENIX, 2021
- SOSP Best Paper Award, ACM, 2019
-
Education
- PhD, Computer Science, Yale University
- BS, Computer Science, Tsinghua University