曹操出行聘请图灵奖得主约瑟夫·希发基思担任AI创新中心首席科学顾问

6月29日，曹操出行宣布，全球顶级AI科学家、图灵奖得主约瑟夫·希发基思（Joseph Sifakis）正式受邀出任公司AI创新中心首席科学顾问。

首次深度参与中国科技公司AI战略

据悉，这是希发基思教授首次深度参与中国科技公司的人工智能战略建设。他本人是计算机科学领域最高奖项图灵奖的获得者，拥有深厚的学术研究背景。

希发基思教授将主要为曹操出行向AI原生公司转型提供核心学术支撑、国际化视野及战略路径规划。

职责拆解与核心意义

作为首席科学顾问，希发基思教授的工作重心包括三项：

• 核心学术支撑：将尖端AI理论融入公司技术体系；
• 国际化视野：为技术路线提供全球前沿视角；
• 战略路径规划：协助公司明确AI原生转型的阶段目标与实施步骤。

这一任命表明，曹操出行正在将AI技术作为业务升级的核心驱动力，借助顶级学术力量加速智能化转型进程。

图灵奖得主约瑟夫·希发基思：从模型检测奠基到自动驾驶安全控制研究

CNMO科技消息，希腊裔法国计算机科学家约瑟夫·希发基思（Joseph Sifakis）在计算机科学与嵌入式系统领域拥有逾五十年的学术生涯。其研究轨迹从模型检测理论奠基，近年延展至可信人工智能与自动驾驶系统的安全控制方向。

学术背景与职业生涯

希发基思1946年出生于希腊克里特岛，在雅典国立技术大学获得电子工程学士学位后，赴法国格勒诺布尔大学取得计算机科学博士学位。其职业生涯长期扎根于科研机构与高校，曾长期担任法国国家科学研究中心（CNRS）的研究主任。1993年，他在法国格勒诺布尔创立Verimag实验室并担任主任，专注于嵌入式系统与形式化方法研究。2011年起，他担任瑞士洛桑联邦理工学院（EPFL）全职教授，主持可靠与安全计算系统实验室。

图灵奖里程碑

2007年，希发基思与爱德蒙·克拉克、艾伦·爱默生凭借在模型检测（Model Checking）理论与工具开发方面的贡献，共同获得图灵奖。在Google Scholar上，他的论文被引用逾30000次。

模型检测是一种自动验证有限状态系统是否满足给定规范的形式化技术，常用于保证计算机硬件与软件系统的正确性。

当前研究聚焦：可信自主系统与自动驾驶安全

近年来，希发基思教授重点研究可信人工智能与自主系统，该方向与Robotaxi等自动驾驶技术发展需求高度契合。其研究方向包括模型检测、可信自主系统设计、信息物理系统形式化验证、自动驾驶碰撞避免控制等。

在自动驾驶安全控制领域，希发基思团队将形式化理论直接应用于自动驾驶系统的碰撞避免控制器设计，提出“可构造安全（Safe-by-Construction）”的纵向/横向控制方法，并发表多篇实验验证成果。该方法通过数学证明确保系统在设计阶段即满足安全约束，而非依赖后期测试。

• 主体：希腊裔法国计算机科学家约瑟夫·希发基思
• 核心成就：2007年图灵奖得主，模型检测领域奠基人之一
• 当前研究方向：可信人工智能、自主系统形式化验证、自动驾驶碰撞避免控制

业内分析指出，其“可构造安全”控制方法若在产业界落地，可为Robotaxi等自动驾驶系统提供可量化证明的安全保障机制，降低因算法意外行为导致的碰撞风险。

曹操出行CEO龚昕：希发基思认可公司AI战略方向

曹操出行CEO龚昕近日披露，国际顶尖学术机构希发基思已加入公司生态体系，这一合作体现了国际学术界对中国科技产业及企业在人工智能领域发展方向的认可。

RoboX战略聚焦物理AI移动平台

龚昕介绍，曹操出行此前已正式发布RoboX战略，目标定位于打造全球领先的物理AI移动科技平台。该平台将构建覆盖Robotaxi（无人驾驶出租车）、Robovan（无人驾驶货运车）等多元场景的智能运力体系。

“三位一体”闭环生态推动规模化

为加速自动驾驶规模化运营能力建设，公司依托“智能定制车+智能驾驶技术+智能运营”全要素闭环生态。这一模式将车辆定制、技术研发与运营管理整合为统一体系，形成从车辆制造到场景服务的完整链路。

“希发基思的加入体现了国际顶尖学术界对中国科技产业和公司AI发展方向的认可。” —— 曹操出行CEO 龚昕

• RoboX战略核心：构建Robotaxi、Robovan等多元智能运力体系。
• 三位一体闭环：智能定制车、智能驾驶技术、智能运营相互协同。
• 目标：推进自动驾驶从技术验证向规模化商业运营过渡。