让数字加密世界更安全！

CertiK是世界领先的区块链网络安全公司，利用先进的形式化验证技术，用数学方法证明智能合约和区块链生态系统安全无漏洞并可抵御黑客入侵。

领导团队

联合创始人 | 邵中教授

邵中教授是耶鲁大学计算机科学系系主任，Thomas L. Kempner教授。他在普林斯顿大学获得计算机科学博士学位，本科毕业于中国科技大学。邵中教授是研究网络安全，编程语言，操作系统和认证软件等高度可见研究领域的领军人物。他和他的耶鲁FLINT团队开发了世界上第一个防黑客并发操作系统CertiKOS。这是构建可证明没有软件漏洞的网络物理系统的重要里程碑。
联合创始人 | 顾荣辉教授

顾荣辉教授是哥伦比亚大学计算机科学系助理教授。于2016年在耶鲁大学获得计算机科学博士学位，并在耶鲁大学获杰出论文奖并获ACM学位论文奖提名。本科毕业于清华大学。顾荣辉教授是操作系统、软件安全以及形式化验证方面的专家，是CertiKOS——世界上第一个被完全证明的并发操作系统内核的主要设计者和开发者。

倪兆中博士
首席技术官
倪兆中毕业于清华大学并在耶鲁大学获得计算机科学博士学位，是系统软件以及形式化验证等方面的专家。曾任谷歌，惠普（3PAR）技术主管、微软研究院研究员，也是谷歌gVisor（以安全为中心的新一代操作系统）的创始人员，对任务关键型企业系统的构建有着丰富的经验。
倪兆中博士
首席技术官
Daryl Hok
首席运营官
Daryl在耶鲁大学获得了经济学和心理学双学士，在加入CertiK之前曾任Fiscal Note公司发展部副总监。有丰富的产品经理和业务拓展经验。主导了公司的3次大型并购，涉及金额数亿美元。包括1.8亿美元对经济学人集团旗下CQ Roll Call的收购。
Daryl Hok
首席运营官
Vilhelm Sjöberg博士
资深首席科学家
Vilhelm是耶鲁大学副研究员，2016年John C. Reynolds博士论文奖得主。他于2015年获得宾夕法尼亚大学计算机科学专业博士学位，是软件验证，编程语言和类型系统方面的专家。对支持CertiKOS等分层验证系统的语言有深入研究。
Vilhelm Sjöberg博士
资深首席科学家
邹牧寒
首席战略官
邹牧寒是公司创始团队成员之一，在耶鲁大学计算机系取得硕士学位，对设计和开发企业级别软件有着丰富经验。在加入CertiK之前，他曾在Comcast担任主管级工程师职位，实现了大规模视频与有线电视广告的商业落地。在此之前，他在甲骨文公司参与建立了甲骨文社交数据云平台。
邹牧寒
首席战略官
陈煜
中国区总经理
陈煜曾任优蓝网（百万蓝领招聘平台）CTO并负责管理技术团队和O2O系统。他也担任过淘拍拍（中国最大专业婚纱摄影平台）CTO和WD集团技术VP。他也建立了Teemsoft公司，开发游戏，规模达到百人。在他生涯早期曾是最早的一批iOS开发者。他拥有西安交通大学学士学位，和芝加哥洛约拉大学的硕士学位。
陈煜
中国区总经理
Shaau Lam
CertiKShield主管
Shaau Lam
CertiKShield主管