曹操出行宣佈，全球頂尖人工智能科學家、圖靈獎得主約瑟夫·希發基思（Joseph Sifakis）正式受邀出任公司人工智能創新中心首席科學顧問，為其向人工智能原生公司轉型提供核心學術支撐、國際化視野及戰略路徑規劃。值得一提的是，這是希發基思教授首次深度參與中國科技公司的人工智能戰略建設。
約瑟夫·希發基思 1946 年出生於希臘克里特島，是希臘裔法國計算機科學家。他在雅典國立技術大學獲得電子工程學士學位後，赴法國格勒諾布爾大學深造，取得計算機科學博士學位。其職業生涯長期紮根於科研機構與高校，曾長期擔任法國國家科學研究中心（CNRS）的研究主任。1993 年，他在法國格勒諾布爾創立了 Verimag 實驗室並擔任主任，專注於嵌入式系統與形式化方法研究。
從 2011 年起，他擔任瑞士洛桑聯邦理工學院（EPFL）全職教授，主持可靠與安全計算系統實驗室。2007 年，希發基思與愛德蒙·克拉克、艾倫·愛默生憑藉在模型檢測（Model Checking）理論與工具開發方面的貢獻，共同獲得圖靈獎。在 Google Scholar 上，他的論文被引用逾 30000 次。長期以來，他活躍於國際計算機科學與嵌入式系統研究前沿，是全球形式化驗證與可信自主系統研究領域最具影響力的學者之一。
約瑟夫·希發基思教授的研究方向與貢獻
近年來，希發基思教授重點研究可信人工智能與自主系統，該方向與 Robotaxi 等自動駕駛技術發展需求高度契合。其研究方向包括模型檢測、可信自主系統設計、信息物理系統形式化驗證、自動駕駛碰撞避免控制等。在自動駕駛安全控制領域，希發基思團隊將形式化理論直接應用於自動駕駛系統的碰撞避免控制器設計，提出“可構造安全（Safe-by-Construction）”的縱向/橫向控制方法，並發表多篇實驗驗證成果。
曹操出行 CEO 龔昕表示，希發基思的加入體現了國際頂尖學術界對中國科技產業和公司人工智能發展方向的認可。曹操出行此前已正式發布 RoboX 戰略，致力於打造全球領先的物理人工智能移動科技平台，構建覆蓋 Robotaxi（無人駕駛出租車）、Robovan（無人駕駛貨運車）等多元場景的智能運力體系。依託“智能定製車+智能駕駛技術+智能運營”三位一體的全要素閉環生態，公司正加速推進自動駕駛規模化運營能力建設。
