北京
【CNMO科技消息】6月29日，曹操出行宣布，全球顶级AI科学家、图灵奖得主约瑟夫·希发基思（Joseph Sifakis）正式受邀出任公司AI创新中心首席科学顾问，为其向AI原生公司转型提供核心学术支撑、国际化视野及战略路径规划。值得一提的是，这是希发基思教授首次深度参与中国科技公司的人工智能战略建设。
约瑟夫·希发基思
CNMO科技了解到，希发基思1946年出生于希腊克里特岛，是希腊裔法国计算机科学家。他在雅典国立技术大学获得电子工程学士学位后，赴法国格勒诺布尔大学深造，取得计算机科学博士学位。其职业生涯长期扎根于科研机构与高校，曾长期担任法国国家科学研究中心（CNRS）的研究主任。1993年，他在法国格勒诺布尔创立了Verimag实验室并担任主任，专注于嵌入式系统与形式化方法研究。从2011年起，他担任瑞士洛桑联邦理工学院（EPFL）全职教授，主持可靠与安全计算系统实验室。2007年，希发基思与爱德蒙·克拉克、艾伦·爱默生凭借在模型检测（Model Checking）理论与工具开发方面的贡献，共同获得图灵奖。在Google Scholar上，他的论文被引用逾30000次。长期以来，他活跃于国际计算机科学与嵌入式系统研究前沿，是全球形式化验证与可信自主系统研究领域最具影响力的学者之一。
近年来，希发基思教授重点研究可信人工智能与自主系统，该方向与Robotaxi等自动驾驶技术发展需求高度契合。其研究方向包括模型检测、可信自主系统设计、信息物理系统形式化验证、自动驾驶碰撞避免控制等。在自动驾驶安全控制领域，希发基思团队将形式化理论直接应用于自动驾驶系统的碰撞避免控制器设计，提出“可构造安全（Safe-by-Construction）”的纵向/横向控制方法，并发表多篇实验验证成果。
曹操出行CEO龚昕
曹操出行CEO龚昕表示，希发基思的加入体现了国际顶尖学术界对中国科技产业和公司AI发展方向的认可。曹操出行此前已正式发布RoboX战略，致力于打造全球领先的物理AI移动科技平台，构建覆盖Robotaxi（无人驾驶出租车）、Robovan（无人驾驶货运车）等多元场景的智能运力体系。依托“智能定制车+智能驾驶技术+智能运营”三位一体的全要素闭环生态，公司正加速推进自动驾驶规模化运营能力建设。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
