Co-founder | Zhong Shao
Thomas L. Kempner Professor and Chair of Computer Science Department at Yale University. Ph.D. in Computer Science from Princeton University. Leading figure in research fields such as cybersecurity, operating systems, and certified software. Shao and his Yale FLINT group have developed the world’s first hacker-resistant and concurrent operating system – CertiKOS.
Co-founder | Ronghui Gu
Assistant Professor of Computer Science, Columbia University. Ph.D. in Computer Science from Yale University and Bachelor’s degree from Tsinghua University Distinction Dissertation Award at Yale University in 2016 and was nominated for ACM Dissertation. Expert in Formal Verification of system software and the primary developer of CertiKOS.
EVP & CSO
EVP & COO
VP of Engineering
CertiK unites exceptional talent by sourcing employees from the best universities and companies across the world.
CertiK is an international company with team members around the world.