希发基思教授

资料显示，希发基思教授是模型检测领域的开创者之一，因推动模型检测理论及应用发展获得2007年图灵奖，他长期致力于复杂智能系统及可信自主系统研究，关注如何通过系统设计与验证，提升复杂系统运行的安全性与可靠性，其研究方向与Robotaxi规模化运营面临的安全可信问题密切相关。

今年6月，希发基思教授正式受邀出任曹操出行AI创新中心首席科学顾问，为曹操出行AI转型与自动驾驶技术发展提供学术支持