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.

CertiK's Mission

Elevate Your
Web3 Journey

Founded in 2017 by professors from Columbia and Yale, CertiK is a New York-based leader in Web3 security.

Why CertiK

Recognized Across
Web3 Security

Born from groundbreaking research at Columbia and Yale, CertiK is the largest Web3 security platform, combining proprietary models with comprehensive security solutions and end-to-end toolkits to support the full lifecycle of Web3 development.

Backed by Leading Investors

Backed by top global VCs and Web3 pioneers, validating our Web3 security leadership and a more trusted ecosystem.

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

Our Team

A global team of researchers, engineers, and security experts.

Leadership

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.

Hudson Jameson
Hudson Jameson
Head of Ecosystem
Hudson Jameson
Hudson Jameson
Head of Ecosystem

Hudson Jameson has over a decade of experience in blockchain technologies with prior roles at the Ethereum Foundation, Zcash, SEAL, Flashbots, and Polygon Labs. In Ethereum's early years, he was responsible for restarting the EIPs repo & starting the Eth core developer meetings while coordinating all network upgrades from 2016 to 2021. In 2017 he co-founded Oaken Innovations, an IoT blockchain start-up, where he served as COO and Lead Smart Contract Developer. Hudson was a founding contributor to the Security Alliance (SEAL) which helps protect the crypto community from security threats. Prior to his role at CertiK, Hudson was VP of Community and Governance at Polygon Labs helping develop a strong, fun protocol developer community. He enjoys ice cream and playing with his cats.

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.

 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.

Business Team

Global Team Background

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

See Our Openings
Team Background Mobile
Global Locations

CertiK Media Kit

Download official logos, brand visuals, and media resources for press and partner use.