Secure the crypto world

CertiK is the world's most advanced blockchain cybersecurity company, using leading Formal Verification technology to mathematically prove whether smart contracts and blockchain ecosystems are bug-free and hacker-resistant.

Leadership Team

  • 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.

  • Muhan Zou

    EVP & CSO

  • Daryl Hok

    EVP & COO

  • Vilhelm Sjöberg

    Principal Scientist

  • Zhaozhong Ni

    VP of Engineering

  • Yvan Nasr

    Head of BD

  • Kai Yan

    Chief Economist

  • Bojin Chen

    Head of China Growth

Team Background

CertiK unites exceptional talent by sourcing employees from the best universities and companies across the world.

Global Locations

CertiK is an international company with team members around the world.