Secure the crypto world

CertiK is a formal verification framework to mathematically prove that 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


  • Vilhelm Sjöberg

    Principal Scientist

  • Zhaozhong Ni

    VP of Engineering

  • Yvan Nasr

    Head of BD

  • Kai Yan


CertiK is hiring

Welcome to join us to keep building the blockchain ecosystem!