Ronghui Gu

Co-Founder
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

Javier Loya

Serial Entrepreneur, Philanthropist and Community Leader