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 Authors You Might Like

Scott Baradell

Founder and CEO of Idea Grove and Trust Signals Marketing

Duncan Wardle

Innovation Keynote Speaker & Creativity Consultant at iD8 & innov8

Mark Smith

Program Chair of Business and Graduate Studies at UAT

Faturoti Kayode

Internet Enterpreneur