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.

Leadership Team

Prof. Zhong Shao
Cofounder
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.
Prof. Zhong Shao
Cofounder
Prof. Ronghui Gu
Cofounder
Tang Family Assistant Professor of Computer Science at Columbia University. Ph.D. in Computer Science from Yale University and Bachelor’s degree from Tsinghua University. Primary designer and developer of CertiKOS and SeKVM. Gu has received: an SOSP Best Paper Award, a CACM Research Highlight, and a Yale Distinguished Dissertation Award.
Prof. Ronghui Gu
Cofounder
Dr. Yaxin Cao
Chief Growth Officer
Yaxin (Jason) Cao has held various senior leadership roles in IoT, semiconductor, and wireless technology companies in both U.S. and China. He was formerly the CEO of Shenzhen Biomedical Instruments, Vice President of Tsinghua Unigroup, and Director of Broadcom. He had close to 20 years of industry experience across multiple functions, including engineering, production management, strategic business development, and operations. He received his Ph.D. in Electrical Engineering from the University of Southern California, MBA from NYU Stern School of Business, and B.S. from Tsinghua University.
Dr. Yaxin Cao
Chief Growth Officer
Prof. Jason Nieh
Chief Scientist
Jason Nieh is Professor of Computer Science and Co-Director of the Software Systems Laboratory at Columbia University. Technologies he developed are widely used in major operating system platforms, including Android and Linux, and are built into Arm processors. These include many of the fundamental building blocks for virtualization, including Docker, Linux Containers, KVM/ARM, and the ARMv8.4 virtualization architecture. He has authored over a hundred peer-reviewed papers, several of which have won best paper awards from MobiCom, SIGCSE, SOSP, and SIGMETRICS. Nieh is a Fellow of the ACM, IEEE, and John Simon Guggenheim Memorial Foundation. He earned his B.S. from MIT and his M.S. and Ph.D. from Stanford University, all in Electrical Engineering.
Prof. Jason Nieh
Chief Scientist
Dr. Zhaozhong Ni
Chief Technology Officer
Zhaozhong Ni was formerly an engineering lead at Google and HP / 3PAR and a researcher at Microsoft Research. He is an expert in systems software and formal verification and has extensive experience in building operating systems kernels and mission-critical enterprise systems. Dr. Ni was a founding member of gVisor, Google’s new security focused OS with cloud-scale production. He holds multiple patents on distributed storage systems. He obtained his BS from Tsinghua University and his PhD in Computer Science from Yale University.
Dr. Zhaozhong Ni
Chief Technology Officer

Muhan Zou
Chief Strategy Officer
Muhan Zou serves as the founding member of CertiK from company inception, where he contributes with both his engineering abilities and team leadership. Muhan has years of experience in designing and developing enterprise level SaaS products. Prior to joining, he worked as the engineering lead at Comcast to monetize large-scale ads and settop-box/linear raw data into business insights deliverables. He also worked at Oracle where he built the social cloud platform as a Full Stack Engineer after graduation at Yale University.
Muhan Zou
Chief Strategy Officer
Daryl Hok
Chief Operating Officer
Daryl Hok spearheaded Corporate Development at FiscalNote, a global machine-learning legal tech company, where he accelerated growth by completing 3 acquisitions in 12 months, including a $180M purchase from The Economist Group. He was also the Product Manager responsible for ideation and release of SaaS products, along with the development of the core data infrastructure. He obtained a dual BA in Economics and Psychology from Yale University, with concentrations centered around behavioral economics
Daryl Hok
Chief Operating Officer
Dr. Vilhelm Sjöberg
Sr. Principal Scientist
Vilhelm Sjöberg was a former associate research scientist at Yale University. He received his Ph.D. in Computer Science from the University of Pennsylvania in 2015. He is an industry-leading expert in software verification, programming languages, and type systems. His research is focusing on language support for layered verified systems like CertiKOS, and currently he is developing DeepSEA which is a language to write verified smart contracts. Dr. Sjöberg is the winner of 2016 ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award.
Dr. Vilhelm Sjöberg
Sr. Principal Scientist
Yu Chen
Head of China
Yu Chen was the former CTO at Taopaipai, the biggest platform for professional wedding photography in China. He later became the technical VP/CTO at the WD Group and YouLanW and managed the technical team of apps and O2O system to help millions of blue-collar workers find their jobs. As one of the very first iOS developers, he released 2 apps out of 300 on the first day of iOS AppStore and latered founded Teemsoft, Inc, a game development company with 100+ employees. He obtained his BS from Xi’an Jiao Tong University and his Master in Computer Science from Loyola University Chicago.
Yu Chen
Head of China
Connie Lam
Head of CertiKShield
Connie Lam
Head of CertiKShield