让数字加密世界更安全!

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

half circle

领导团队

  • 邵中教授

    邵中教授

    联合创始人

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

    邵中教授

    联合创始人

  • 顾荣辉教授

    顾荣辉教授

    联合创始人

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

    顾荣辉教授

    联合创始人

  • 曹亚昕博士

    曹亚昕博士

    首席运营官

    曹亚昕有近20年美国及中国的物联网、半导体、无线通讯等高科技行业从业经验, 曾担任过多个美国及中国高科技企业高管职务,包括深圳博英医疗科技公司CEO、清华紫光集团副总裁和美国博通公司总监。 曹博士领导和负责过研发、产品管理、战略规划和拓展、运营等多方面工作,具有丰富的经验。他拥有南加州大学的电机工程博士、纽约大学商学院MBA和清华大学电子工程学士学位。

    曹亚昕博士

    首席运营官

  • 倪兆中博士

    倪兆中博士

    首席技术官

    倪兆中毕业于清华大学并在耶鲁大学获得计算机科学博士学位,是系统软件以及形式化验证等方面的专家。曾任谷歌,惠普(3PAR)技术主管、微软研究院研究员,也是谷歌gVisor(以安全为中心的新一代操作系统)的创始人员,对任务关键型企业系统的构建有着丰富的经验。

    倪兆中博士

    首席技术官

  • 邹牧寒

    邹牧寒

    首席战略官

    邹牧寒是公司创始团队成员之一,在耶鲁大学计算机系取得硕士学位,对设计和开发企业级别软件有着丰富经验。在加入CertiK之前,他曾在Comcast担任主管级工程师职位,实现了大规模视频与有线电视广告的商业落地。在此之前,他在甲骨文公司参与建立了甲骨文社交数据云平台。

    邹牧寒

    首席战略官

  • Vilhelm Sjöberg博士

    Vilhelm Sjöberg博士

    资深首席科学家

    Vilhelm是耶鲁大学副研究员,2016年John C. Reynolds博士论文奖得主。他于2015年获得宾夕法尼亚大学计算机科学专业博士学位,是软件验证,编程语言和类型系统方面的专家。对支持CertiKOS等分层验证系统的语言有深入研究。

    Vilhelm Sjöberg博士

    资深首席科学家

  • 陈煜

    陈煜

    中国区总经理

    陈煜曾任优蓝网(百万蓝领招聘平台)CTO并负责管理技术团队和O2O系统。他也担任过淘拍拍(中国最大专业婚纱摄影平台)CTO和WD集团技术VP。他也建立了Teemsoft公司,开发游戏,规模达到百人。在他生涯早期曾是最早的一批iOS开发者。他拥有西安交通大学学士学位,和芝加哥洛约拉大学的硕士学位。

    陈煜

    中国区总经理

  • Connie Lam

    Connie Lam

    CertiKShield主管

    Connie Lam

    CertiKShield主管

商务团队

  • Jason Jiang

    Jason Jiang

    商务拓展副总裁

    Jason Jiang

    商务拓展副总裁

  • Ken Trueba

    Ken Trueba

    商务拓展经理

    Ken Trueba

    商务拓展经理

  • Nurtilek Taalaibekov

    Nurtilek Taalaibekov

    商务拓展经理

    Nurtilek Taalaibekov

    商务拓展经理

  • Conor Brady

    Conor Brady

    商务代表

    Conor Brady

    商务代表

  • Marshall Weaver

    Marshall Weaver

    商务代表

    Marshall Weaver

    商务代表

  • Danni Liu

    Danni Liu

    商务代表

    Danni Liu

    商务代表

团队背景介绍

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

Logos of Schools and Companies

办公地点

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

Global Map