Gu Ronghui is the co-founder and CEO of CertiK, and the co-founder of Tunwu Consulting. He is an Assistant Professor in the Computer Science Department of Columbia University, and the core developer of the operating system CertiKOS. He graduated from Tsinghua University with a Bachelor's degree, and obtained a Ph.D. from Yale University.