曹操出行宣布图灵奖得主出任首席科学顾问 将深度参与

【CNMO科技消息】6月29日，曹操出行披露了重要人事任命，全球顶尖AI科学家、图灵奖得主约瑟夫·希发基思（Joseph Sifakis）被正式邀请担任公司AI创新中心首席科学顾问。他将为中国公司向AI原生企业转型提供关键的学术支持、国际化的视野以及战略路径规划。据透露，这将是希发基思教授首次深度介入中国科技企业的人工智能战略。

约瑟夫·希发基思的履历十分亮眼。他1946年出生于希腊克里特岛，是希腊裔法国计算机科学家。希发基思在雅典国立技术大学收获电子工程学士学位，之后到法国格勒诺布尔大学继续深造，最终获得计算机科学博士学位。他的职业生涯大部分时间都在科研单位和高等院校度过，曾经长期作为法国国家科学研究中心（CNRS）的研究主任。1993年，他在法国格勒诺布尔建立了Verimag实验室，并担任主任，专注于嵌入式系统与形式化方法的研究。自2011年开始，他担任瑞士洛桑联邦理工学院（EPFL）的全职教授，主持可靠与安全计算系统实验室。2007年，他与爱德蒙·克拉克、艾伦·爱默生一起，因在模型检测（Model Checking）理论与工具开发方面的杰出贡献，共同摘得了图灵奖。在Google Scholar上，他的论文累计被引用超过30000次。长期以来，他一直活跃在国际计算机科学和嵌入式系统研究的最前沿，是全球形式化验证与可信自主系统研究领域的领军人物。

近年来，希发基思教授的研究重点聚焦于可信人工智能与自主系统，这一方向与Robotaxi等自动驾驶技术的发展需求紧密相连。他的研究范围包括模型检测、可信自主系统设计、信息物理系统的形式化验证、自动驾驶碰撞避免控制等。在自动驾驶安全控制方面，希发基思团队将形式化理论直接运用到自动驾驶系统的碰撞避免控制器设计中，提出了“可构造安全（Safe-by-Construction）”的纵向/横向控制方案，并发表了多项实验验证成果。

曹操出行CEO龚昕对希发基思的加入表示，这体现了国际一流学术界对中国科技产业和公司AI发展方向的肯定。曹操出行之前已经正式推出了RoboX战略，目标是打造全球领先的物理AI移动科技平台，构建涵盖Robotaxi（无人驾驶出租车）、Robovan（无人驾驶货运车）等多样化场景的智能运力系统。凭借“智能定制车+智能驾驶技术+智能运营”三位一体的全要素闭环生态，公司正在快速提升自动驾驶大规模商业化运营的能力。