巨星陨落！图灵奖得主、「模型检测」之父Allen Emerson去世，享年70岁

文章预览

点击上方“ 图灵人工智能 ”，选择“星标”公众号 您想知道的人工智能干货，第一时间送达                             转自 新智元   编辑：编辑部 HYZ 【导读】 10月16日，因将模型检测技术发展为一张高效的验证方法而获得2007年图灵奖的Allen Emerson永远离开了我们。 图灵奖得主、形式化研究方法的巨擘Allen Emerson，刚刚不幸去世。 Ernest Allen Emerson II，1954年6月2日-2024年10月16日 2007年，他与Edmund Clarke和Joseph Sifakis一起，因将模型检测技术（Model Checking）发展为一种高效的验证技术，并被硬件和软件行业广泛采用，而获得图灵奖。 除了图灵奖，Emerson还与Randal Bryant、Clarke和Kenneth L. McMillan一起获得了1998年的ACM Paris Kanellakis奖，以表彰他们在开发符号模型检测方面的贡献。 授奖理由如下： 「他们发明了符号模型检测，这是一种正式检查系统设计的方 ………………………………