曹操出行は、世界的なトップ人工知能科学者であり、チューリング賞受賞者のジョセフ・シファキス（Joseph Sifakis）が、同社の人工知能イノベーションセンターの最高科学顧問に正式に招待されたことを発表しました。これにより、人工知能に特化した企業への転換に対する核心的な学術支援、国際的な視野、および戦略的な道筋の計画が提供されます。特筆すべきは、シファキス教授が中国のテクノロジー企業の人工知能戦略構築に深く関与するのはこれが初めてであるということです。
ジョセフ・シファキスは1946年にギリシャのクレタ島で生まれ、ギリシャ系フランス人の計算機科学者です。彼はアテネ国立技術大学で電子工学の学士号を取得した後、フランスのグルノーブル大学で計算機科学の博士号を取得しました。彼のキャリアは長年にわたり研究機関や大学に根ざしており、フランス国立科学研究センター（CNRS）の研究ディレクターを長く務めました。1993年にはフランスのグルノーブルにVerimagラボラトリーを設立し、主任として埋め込みシステムと形式的手法の研究に専念しました。
2011年からはスイスのローザンヌ工科大学（EPFL）の専任教授として、信頼性と安全性の計算システムのラボを主宰しています。2007年には、シファキスはエドモンド・クラーク、アレン・エマーソンと共に、モデル検査（Model Checking）の理論とツール開発における貢献によりチューリング賞を受賞しました。Google Scholarでは、彼の論文は30,000回以上引用されています。長年にわたり、彼は国際的な計算機科学と埋め込みシステム研究の最前線で活躍しており、形式的検証と信頼できる自律システムの研究分野で最も影響力のある学者の一人です。
ジョセフ・シファキス教授の研究方向と貢献
近年、シファキス教授は信頼できる人工知能と自律システムの研究に重点を置いており、この方向性はRobotaxiなどの自動運転技術の発展ニーズと高度に一致しています。彼の研究方向には、モデル検査、信頼できる自律システムの設計、情報物理システムの形式的検証、自動運転の衝突回避制御などが含まれます。自動運転の安全制御分野では、シファキスのチームは形式的理論を自動運転システムの衝突回避制御器の設計に直接適用し、「構成可能な安全（Safe-by-Construction）」の縦方向/横方向制御方法を提案し、多くの実験結果を発表しています。
曹操出行のCEOである龔昕は、シファキスの参加は国際的なトップ学術界が中国のテクノロジー産業と企業の人工知能発展方向を認めたことを示していると述べました。曹操出行は以前にRoboX戦略を正式に発表しており、世界をリードする物理的人工知能移動技術プラットフォームの構築に取り組んでいます。Robotaxi（自動運転タクシー）、Robovan（自動運転貨物車）などの多様なシーンをカバーするインテリジェントな輸送システムを構築しています。「インテリジェントカスタマイズ車両+インテリジェント運転技術+インテリジェント運営」という三位一体の全要素閉ループエコシステムに基づき、同社は自動運転の規模化運営能力の構築を加速しています。
