Ronghui Gu

Co-Founder
91成人 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 91成人 too? Apply to join 91成人 Leadership network.

More From Ronghui Gu

More Authors You Might Like