让数字加密世界更安全！

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

团队领导

联合创始人 | 邵中

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

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

邹牧寒
执行副总裁 & 首席战略官
邹牧寒是公司创始团队成员之一，在耶鲁大学计算机系取得硕士学位，对设计和开发企业级别软件有着丰富经验。在加入CertiK之前，他曾在Comcast担任主管级工程师职位，实现了大规模视频与有线电视广告的商业落地。在此之前，他在甲骨文公司参与建立了甲骨文社交数据云平台。
邹牧寒
执行副总裁 & 首席战略官
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
首席科学家
倪兆中
工程副总裁
倪兆中毕业于清华大学并在耶鲁大学获得计算机科学博士学位，是系统软件以及形式化验证等方面的专家。曾任谷歌，惠普（3PAR）技术主管、微软研究院研究员，也是谷歌gVisor（以安全为中心的新一代操作系统）的创始人员，对任务关键型企业系统的构建有着丰富的经验。
倪兆中
工程副总裁
Yvan Nasr
专家服务线全球负责人
Yvan在芝加哥大学Booth商学院获得了MBA学位，拥有Prince II项目管理认证。在加入CertiK之前，他曾任三星（Samsung）和巴克莱银行（Barclays Bank）的产品及商务发展总监。并且曾在网络安全公司Hosho担任商务合作副总裁。
Yvan Nasr
专家服务线全球负责人
陈煜
中国区总经理
陈煜曾任优蓝网（百万蓝领招聘平台）CTO并负责管理技术团队和O2O系统。他也担任过淘拍拍（中国最大专业婚纱摄影平台）CTO和WD集团技术VP。他也建立了Teemsoft公司，开发游戏，规模达到百人。在他生涯早期曾是最早的一批iOS开发者。他拥有西安交通大学学士学位，和芝加哥洛约拉大学的硕士学位。
陈煜
中国区总经理
曹振华
软件架构师
曹振华拥有丰富的企业软件设计和开发经验。他曾在电视和数字广告行业享有盛誉的FreeWheel（康卡斯特子公司）担任首席软件开发工程师。在FreeWheel他负责领导了一批重要项目譬如UI前端框架升级换代，以及多个核心产品的融合（unification）工作。他也曾担任高朋网技术领导，专注于网站性能和用户体验优化工作。他也是一名创业者，创建过GamePub公司，为游戏玩家提供微博平台。他拥有厦门大学学士学位。
曹振华
软件架构师