让数字加密世界更安全!

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

half circle

团队领导

  • 联合创始人 | 邵中

    邵中教授是耶鲁大学计算机科学系系主任,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

    商务发展总监

  • 阎开

    阎开博士毕业于北京大学并在耶鲁大学取得经济学博士学位,师从于诺贝尔经济学奖得主Robert Shiller。在加入CertiK之前,他在国际货币基金组织(IMF)担任经济学家职位,和监管部门合作设计新的银行业务系统。

    阎开

    首席经济学家

团队背景介绍

CertiK团队由世界顶级学府及国内外顶尖行业人才组成。

Logos of Schools and Companies

办公地点

CertiK是一个员工遍布于世界各地的国际化公司

Global Map