Gu Ronghui est le cofondateur et PDG de CertiK, et le cofondateur de Tunwu Consulting. Il est professeur adjoint au département d'informatique de l'université Columbia et le développeur principal du système d'exploitation CertiKOS. Il est diplômé de l'université Tsinghua avec une licence et a obtenu un doctorat de l'université Yale.