1. Home
  2. People

Ronghui Gu

Ronghui Gu is a tenure-track Assistant Professor of Computer Science at Columbia University. He obtained his Ph.D. in Computer Science from Yale University in 2016, where his dissertation won the Distinction Dissertation Award at Yale and was nominated for the ACM Dissertation Award. He obtained his B.S. from Tsinghua University in 2011. Prof. Gu is an expert in formal verification of system software. He was the primary designer and developer of CertiKOS, the world’s first fully verified concurrent OS kernel. His OSDI16 paper on CertiKOS has been nominated and selected for publication in the Research Highlights section of the CACM. 

Participated ICO

Startup name Position Raised USD Current token price ETH return
Co-founder NA Not trading NA

Colleagues in ICO

Name Position Startup name Score Social
Co-founder
NA
Research Scientist
NA

ICO that might interest you

Dispatch
DAN
TBA
Ongoing
21d left
TRIAS
TRI
TBA
TBA
Lambda
LAMB
Ongoing
7d left
nOS (nOS)
nOS
TBA
TBA
MultiVAC
MTV
TBA
Show all