Ronghui Gu

Co-Founder at CertiK
Entrepreneur Leadership Network® Contributor
Ronghui Gu is the Tang Family Assistant Professor of Computer Science at Columbia University and Co-Founder of CertiK. He developed CertiKOS, the first verified concurrent OS kernel, and has received awards from Amazon, OSDI, SOSP, CACM, and Yale.
Want to write for Entrepreneur too? Apply to join Entrepreneur Leadership network.

More From Ronghui Gu

More Authors You Might Like