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

Team

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

    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.

  • Dr. Zhaozhong Ni

    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

  • Daryl Hok

    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

  • Yvan Nasr

    Yvan Nasr

    Global Head of Professional Services

    Yvan Nasr led various Product and Business Development initiatives at Samsung Electronics and was the driving force behind Barclays Banks digital transformation in key European markets. Prior to obtaining his MBA, Yvan also led the growth of Europe’s largest retail holding, Kingfisher PLC, diversifying the brands global footprint and product ranges in key markets like Asia. Recently, he was the Head of Partnerships at Hosho, a blockchain cybersecurity startup. He obtained his MBA from the University of Chicago, Booth School of Business.

    Yvan Nasr

    Global Head of Professional Services

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

    Dr. Vilhelm Sjöberg

    Sr. Principal Scientist

  • Muhan Zou

    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

  • Zhenhua Cao

    Zhenhua Cao

    Software Architect

    Zhenhua Cao is a veteran in designing and building enterprise software. He was a Principal Software Engineer in FreeWheel, a Comcast company that is known for its TV and digital video advertising platform serving large media companies across the globe. He led a few key projects in FreeWheel including UI framework overhauls and UI products unification. Prior to FreeWheel, he was the tech lead for Groupon China with focus on web performance and user experience, and the Co-founder of Gamepub, a twitter-like social network for online gamers.

    Zhenhua Cao

    Software Architect

  • Yu Chen

    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

  • Georgios Delkos

    Georgios Delkos

    Lead Security Engineer

    Georgios brings two decades of hands experience with Asterisk/VoIP and distributed systems. Spent the last eight years working mainly with blockchain. Author of Pirl Guard a novel consensus expansion for ethereum based chain models mitigating 51% attacks.

    Georgios Delkos

    Lead Security Engineer

  • Shaau Lam

    Shaau Lam

    Head of CertiKShield

    Shaau Lam

    Head of CertiKShield

  • Bingbing Lu

    Bingbing Lu

    Head of Financial

    Bingbing Lu joins CertiK from HarbourVest, a private equity and alternative investment management company in Boston. Before HarborVest, he was an investment risk analyst, assistant vice president at State Street Global Advisors, an asset management firm focusing on traditional investment vehicles, where he was resonsible for the investment risk of fixed income and money market products. He went to Yale University for master's degree in Biostatistics and completed his bachelor's degree in Economics, Statistics and Mathematics at the University of Minnesota Twin Cities.

    Bingbing Lu

    Head of Financial

  • Charles Smith

    Charles Smith

    BD Manager

    Charles Smith

    BD Manager

  • Marco Calicchia

    Marco Calicchia

    Business Development Manager

    Marco Calicchia

    Business Development Manager

  • Andrew Hogue

    Andrew Hogue

    Account Executive

    Andrew Hogue

    Account Executive

  • Dr. Jialiang Chang

    Dr. Jialiang Chang

    Sr. Software Engineer

    Dr. Jialiang Chang

    Sr. Software Engineer

  • Dr. Dan She

    Dr. Dan She

    Sr. Software Engineer

    Dr. Dan She

    Sr. Software Engineer

  • Angelos Apostolidis

    Angelos Apostolidis

    Security Engineer

    Angelos Apostolidis

    Security Engineer

  • Sheraz Arshad

    Sheraz Arshad

    Security Engineer

    Sheraz Arshad

    Security Engineer

  • Alex Papageorgiou

    Alex Papageorgiou

    Staff Security Engineer

    Alex Papageorgiou

    Staff Security Engineer

  • Peiyu Wang

    Peiyu Wang

    Sr. Security Engineer

    Peiyu Wang

    Sr. Security Engineer

  • Kun Zhao

    Kun Zhao

    Staff Software Engineer

    Kun Zhao

    Staff Software Engineer

  • Howie Chan

    Howie Chan

    Software Engineer

    Howie Chan

    Software Engineer

  • Junhong Chen

    Junhong Chen

    Sr. Software Engineer

    Junhong Chen

    Sr. Software Engineer

  • Camden Smallwood

    Camden Smallwood

    Staff Security Engineer

    Camden Smallwood

    Staff Security Engineer

  • Xinyuan Sun

    Xinyuan Sun

    Sr. Research Engineer

    Xinyuan Sun

    Sr. Research Engineer

  • Minzhi He

    Minzhi He

    Security Engineer

    Minzhi He

    Security Engineer

  • Adrian Hetman

    Adrian Hetman

    Security Engineer

    Adrian Hetman

    Security Engineer

  • Chenxi Ji

    Chenxi Ji

    Sr. Business Intelligence Analyst

    Chenxi Ji

    Sr. Business Intelligence Analyst

  • Muling Jiang

    Muling Jiang

    Sr. Product Designer

    Muling Jiang

    Sr. Product Designer

  • Yunzhe Jie

    Yunzhe Jie

    Sr. Security Engineer

    Yunzhe Jie

    Sr. Security Engineer

  • Hyoung-yoon Kim

    Hyoung-yoon Kim

    Software Engineer

    Hyoung-yoon Kim

    Software Engineer

  • Yoongbok Lee

    Yoongbok Lee

    Software Engineer

    Yoongbok Lee

    Software Engineer

  • Boxi Li

    Boxi Li

    Software Engineer

    Boxi Li

    Software Engineer

  • Zachary Page

    Zachary Page

    Software Engineer

    Zachary Page

    Software Engineer

  • Yunyu He

    Yunyu He

    Data Scientist

    Yunyu He

    Data Scientist

  • Vladimiros Peilivanidis

    Vladimiros Peilivanidis

    Sr. Marketing Associate

    Vladimiros Peilivanidis

    Sr. Marketing Associate

  • Aaron Leibowitz

    Aaron Leibowitz

    Product Manager

    Aaron Leibowitz

    Product Manager

  • Nurtilek Taalaibekov

    Nurtilek Taalaibekov

    BD Representative

    Nurtilek Taalaibekov

    BD Representative

  • Gaojie Wang

    Gaojie Wang

    Data Analyst

    Gaojie Wang

    Data Analyst

  • Kevin Castro

    Kevin Castro

    Content & Community Manager

    Kevin Castro

    Content & Community Manager

  • Maria Xenofontos

    Maria Xenofontos

    Marketing Associate

    Maria Xenofontos

    Marketing Associate

  • Jiayi Zhai

    Jiayi Zhai

    Business Management Associate

    Jiayi Zhai

    Business Management Associate

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