Secure the crypto world

CertiK leads blockchain security by pioneering the use of cutting-edge Formal Verification technology on smart contracts and blockchains. Unlike traditional security audits, Formal Verification mathematically proves program correctness and hacker-resistance.

half circle

Leadership & Member Team

net leftnet right
  • Cofounder | 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.

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

    Chief Strategy Officer

    Muhan Zou

    Chief Strategy Officer

  • Daryl Hok

    Chief Operating Officer

    Daryl Hok

    Chief Operating Officer

  • Vilhelm Sjöberg

    Principal Scientist

    Vilhelm Sjöberg

    Principal Scientist

  • Zhaozhong Ni

    VP of Engineering

    Zhaozhong Ni

    VP of Engineering

  • Yvan Nasr

    Head of BD & Partnerships

    Yvan Nasr

    Head of BD & Partnerships

  • Kai Yan

    Chief Economist

    Kai Yan

    Chief Economist

  • Bojin Chen

    Head of China Growth

    Bojin Chen

    Head of China Growth

  • Connie Lam

    Lead Engineer

    Connie Lam

    Lead Engineer

  • Bingbing Lu

    VP, Financial Analyst

    Bingbing Lu

    VP, Financial Analyst

  • Charles Smith

    Sr Acct Executive

    Charles Smith

    Sr Acct Executive

  • Chenxi Ji

    B.I. Analyst

    Chenxi Ji

    B.I. Analyst

  • Yingzhou Zheng

    Product Manager

    Yingzhou Zheng

    Product Manager

  • Howie Chan

    Software Engineer

    Howie Chan

    Software Engineer

  • Maxwell Foley

    Software Engineer

    Maxwell Foley

    Software Engineer

  • Gaojie Wang

    Financial Analyst

    Gaojie Wang

    Financial Analyst

  • Junhong Chen

    Software Engineer

    Junhong Chen

    Software Engineer

  • Sharina Mirpuri

    Marketing Associate

    Sharina Mirpuri

    Marketing Associate

  • Yunyu He

    Asso Data Scientist

    Yunyu He

    Asso Data Scientist

  • Boxi Li

    Software Engineer

    Boxi Li

    Software Engineer

  • Connie Ngo

    Marketing Manager

    Connie Ngo

    Marketing Manager

  • Beidi Jiang

    Marketing, China

  • Feng Guo

    Business, China

  • Ying Cui

    Business, China

Team Background

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

Logos of Schools and Companies

Global Locations

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

Global Map