Ronghui Gu

Co-Founder
麻豆社 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 麻豆社 too? Apply to join 麻豆社 Leadership network.

More From Ronghui Gu

More Authors You Might Like