让数字加密世界更安全！
CertiK是世界领先的区块链网络安全公司，利用先进的形式化验证技术，用数学方法证明智能合约和区块链生态系统安全无漏洞并可抵御黑客入侵。
团队
倪兆中博士
首席技术官
倪兆中毕业于清华大学并在耶鲁大学获得计算机科学博士学位，是系统软件以及形式化验证等方面的专家。曾任谷歌，惠普（3PAR）技术主管、微软研究院研究员，也是谷歌gVisor（以安全为中心的新一代操作系统）的创始人员，对任务关键型企业系统的构建有着丰富的经验。
倪兆中博士
首席技术官
Daryl Hok
首席运营官
Daryl在耶鲁大学获得了经济学和心理学双学士，在加入CertiK之前曾任Fiscal Note公司发展部副总监。有丰富的产品经理和业务拓展经验。主导了公司的3次大型并购，涉及金额数亿美元。包括1.8亿美元对经济学人集团旗下CQ Roll Call的收购。
Daryl Hok
首席运营官
Yvan Nasr
专家服务线全球负责人
Yvan在芝加哥大学Booth商学院获得了MBA学位，拥有Prince II项目管理认证。在加入CertiK之前，他曾任三星（Samsung）和巴克莱银行（Barclays Bank）的产品及商务发展总监。并且曾在网络安全公司Hosho担任商务合作副总裁。
Yvan Nasr
专家服务线全球负责人
Vilhelm Sjöberg博士
资深首席科学家
Vilhelm是耶鲁大学副研究员，2016年John C. Reynolds博士论文奖得主。他于2015年获得宾夕法尼亚大学计算机科学专业博士学位，是软件验证，编程语言和类型系统方面的专家。对支持CertiKOS等分层验证系统的语言有深入研究。
Vilhelm Sjöberg博士
资深首席科学家
邹牧寒
首席战略官
邹牧寒是公司创始团队成员之一，在耶鲁大学计算机系取得硕士学位，对设计和开发企业级别软件有着丰富经验。在加入CertiK之前，他曾在Comcast担任主管级工程师职位，实现了大规模视频与有线电视广告的商业落地。在此之前，他在甲骨文公司参与建立了甲骨文社交数据云平台。
邹牧寒
首席战略官
曹振华
首席工程师
曹振华拥有丰富的企业软件设计和开发经验。他曾在电视和数字广告行业享有盛誉的FreeWheel（康卡斯特子公司）担任首席软件开发工程师。在FreeWheel他负责领导了一批重要项目譬如UI前端框架升级换代，以及多个核心产品的融合（unification）工作。他也曾担任高朋网技术领导，专注于网站性能和用户体验优化工作。他也是一名创业者，创建过GamePub公司，为游戏玩家提供微博平台。他拥有厦门大学学士学位。
曹振华
首席工程师
陈煜
中国区总经理
陈煜曾任优蓝网（百万蓝领招聘平台）CTO并负责管理技术团队和O2O系统。他也担任过淘拍拍（中国最大专业婚纱摄影平台）CTO和WD集团技术VP。他也建立了Teemsoft公司，开发游戏，规模达到百人。在他生涯早期曾是最早的一批iOS开发者。他拥有西安交通大学学士学位，和芝加哥洛约拉大学的硕士学位。
陈煜
中国区总经理
Georgios Delkos
主管安全工程师
Shaau Lam
主管软件工程师
鲁冰冰
金融部门负责人
鲁冰冰于耶鲁大学取得硕士学位。在加入CertiK之前，他曾在股权私募基金汉柏巍(HarbourVest Partners)，实现了对风投，私募等非流动资产的量化分析。在此之前，他在道富环球(State Street Global Advisors)任投资风险分析师。
鲁冰冰
金融部门负责人
Angelos Apostolidis
安全工程师
Sheraz Arshad
安全工程师
Marco Calicchia
商务拓展经理
Kevin Castro
内容和社区经理
Howie Chan
软件工程师
Dr. Jialiang Chang
高级软件工程师
陈俊宏
高级软件工程师
Andrew Hogue
客户经理
Minzhi He
安全工程师
Yunyu He
数据科学家
Adrian Hetman
安全工程师
Chenxi Ji
高级业务分析师
姜贝地
Media Operations Manager
Muling Jiang
高级产品设计师
揭蕴哲
高级安全工程师
Hyoung-yoon Kim
软件工程师
Aaron Leibowitz
产品经理
Yoongbok Lee
软件工程师
Boxi Li
软件工程师
Zachary Page
软件工程师
Alex Papageorgiou
资深安全工程师
Vladimiros Peilivanidis
高级Marketing Associate
Dr. Dan She
高级软件工程师
Camden Smallwood
资深安全工程师
Charles Smith
客户经理
Xinyuan Sun
高级研发工程师
Nurtilek Taalaibekov
商务代表
Gaojie Wang
数据分析师
Peiyu Wang
高级安全工程师
Maria Xenofontos
营销助理
Jiayi Zhai
商务管理助理
Kun Zhao
资深软件工程师
