Protect Your Project Today
Strengthen your project with the largest web3 security provider.
A CertiK security expert will review your request and follow up shortly.

The CertiK Mission

Elevate Your Web3 Journey

Founded in December 2017 by professors of Columbia and Yale, CertiK is the largest Web3 security service provider, based in New York. With a highly skilled technical team, CertiK stands out for its exceptional expertise in formal verification technology and AI applications, offering a wide range of products and services that span the entire lifecycle of development to support the industry, project teams, and Web3 users.

Backed by Leading Investors

Sequoia
Coatue
Tiger Global
SoftBank
Goldman Sachs
Lightspeed
Binance
Coinbase
Insight Partners
Advent International
Shun Wei
Yale University

Leadership Team

Prof. Zhong Shao
Prof. Zhong Shao
Cofounder
Prof. Zhong Shao
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. Ronghui Gu
Prof. Ronghui Gu
Cofounder
Prof. Ronghui Gu
Prof. Ronghui Gu
Cofounder

Associate 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 OSDI Jay Lepreau Best Paper Award, an SOSP Best Paper Award, two Amazon Research Awards, a CACM Research Highlight, and a Yale Distinguished Dissertation Award.

Jason Jiang
Jason Jiang
Chief Business Officer
Jason Jiang
Jason Jiang
Chief Business Officer

Jason Yuqiang Jiang has a proven executive management track record and over 15 years of experience driving sales growth in industrial, technology and consumer industries. He recently served as Chief Operating Officer for Sensimo Inc., a technology company providing AIOT energy saving solutions to mega Data center. He was the Founder and Chief Executive Officer for Inno Optics, Inc. from 2012 until 2018, a company that provides RAMAN optical technology based identification systems to a wide range of industries including food, textile, petroleum, gem stone and pharmaceutical. The company was publicly listed on China’s NEEQ market in 2018. Prior to joining Inno Optics, Jason was General Manager of China for Greif Inc., a Fortune 500 company, responsible for a business unit’s performance of $100 Million P&L. At Greif China, he led the transformation into China’s top industrial packaging company while growing sales 30% year over year. Previously, he served as founder and VP of Business Development and Operation of AEC-MotionStar, Inc. Under his guidance, he grew the company from start-up stage to $4M revenue within 3 years and one factory operation. Jason spent the prior 8 years at Motorola, holding various engineering and management positions.

Dr. Kang Li
Dr. Kang Li
Chief Technology Officer
Dr. Kang Li
Dr. Kang Li
Chief Technology Officer

Dr. Kang Li was formerly the Chief Security Scientist and a Senior Director at Baidu Inc. Before that, he served in various leadership and consulting roles at cyber security enterprises and institutes, including the Institute for Cyber Security and Privacy at UGA, Intel, and Samsung. Kang was also a tenured full professor at the University of Georgia. Dr. Kang Li was the founding mentor of multiple CTF teams, including Blue-Lotus and Team Disekt. He is a frequent speaker at major security conferences, and he is also a DARPA Cyber Grand Challenge Finalist. He graduated with a Computer Science Ph.D. degree from OHSU and B.S. degree from Tsinghua University. He also holds a master’s degree from Yale Law School.

Alexey Malanov
Alexey Malanov
Chief Security Scientist
Alexey Malanov
Alexey Malanov
Chief Security Scientist

Alexey Malanov was formerly a Head of Anti-Malware Team and Malware Expert at Kaspersky. He is an expert in malware analysis and has extensive experience in designing and developing antivirus engines. He holds multiple patents on malware processing automation. During his smart contract auditing experience, he has found a series of critical vulnerabilities with the possibility of money freezing or stealing. He obtained his MD from Moscow State University.

Dr. Vilhelm Sjöberg
Dr. Vilhelm Sjöberg
Sr. Principal Scientist
Dr. Vilhelm Sjöberg
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.

 Denise Benattar
Denise Benattar
Head of Legal
 Denise Benattar
Denise Benattar
Head of Legal

Denise has extensive legal experience counseling and advising businesses ranging from technology start-ups and growth-stage companies to large corporations across a wide range of industries. She was formerly an Associate and Corporate Counsel with the international law firm of Latham & Watkins LLP in its New York City office, where she specialized in mergers & acquisitions and general corporate matters. She previously served as the General Counsel to Stages LLC, a start-up audio technology company, and to On2 Technologies, a small, publicly traded media company that designed video codec technology, which was subsequently sold to Google. She received her Juris Doctorate from the University of Pennsylvania Carey Law School and holds a Bachelor of Science degree in Finance from Lehigh University.

Stefan Muehlbauer
Stefan Muehlbauer
Head of US Government Relations
Stefan Muehlbauer
Stefan Muehlbauer
Head of US Government Relations

Stefan has 25 years of experience in investment banking, public company leadership, and government relations. He was Managing Partner at A10 Associates LLC, the largest woman-owned lobbying firm in the United States, advising companies in technology, sustainability, and infrastructure. From 2018 to 2024, he served as Chief Financial Officer of Sustainable Projects Group Inc., a publicly listed company, where he also led government relations for sustainability and technology initiatives. Earlier, Stefan spent more than a decade in Europe in investment banking, beginning in technology equity research before moving into institutional equity sales and brokerage.

Business Team

Worker Validation

Please note: All genuine emails from CertiK come from its official domain name, with the addresses ending in @certik.com.

Please use CertiK worker validation to check whether the source officially represents CertiK. Email address, WeChat ID, Twitter account or Telegram ID.

Please do not contact any unofficial/non-validated sources or reveal your project details to them. For further queries, please contact CertiK Support via Discord or Telegram.

We strive to provide accurate and up-to-date information with the worker validation feature, but the information may not always be accurate or up-to-date. We do not warrant the accuracy and/or completeness of any information and make no warranty about the reliability of such information, which is provided "AS IS".

Validation Failed

Source Not Validated

The source you entered is not valid and may not be an official CertiK source. Please exercise caution and only interact with validated official CertiK sources.

Contact Us

Legal Contact

for regulatory and legal-related matters

Info Contact

for questions on CertiK services and products, terms of use, privacy-related matters, to report any vulnerabilities and for other inquiries

Team Background

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

Team Background Mobile

Global Locations

CertiK is A Global Company With Team Members Around The World.

Global Locations
Join Our Mission

Join us on our mission to secure the Web3 world.

Supported Ecosystems

CertiK Supports a Variety of Ecosystem Projects At Scale.

Supported Ecosystems
CertiK Media Packages

The CertiK logo and press kit are avaliable.