模型检测技术开创者

• 作者: 黄小骑
• 来源期刊: 财新周刊
• 学科: 历史
• 关键词: 计算机科学家 模型检测 开创性工作 爱默生 图灵奖 克拉克 开创者 生与死
• 年，卷（期）: 2021,（2）
• 页码范围: 88-88
• 页数: 1页
• 分类号: K82

摘要

病毒似乎要把时间攒成一个漩涡,加速荡漾出生与死的浪花。2020年12月22日,计算机科学家爱德蒙·克拉克(Edmund M.Clarke)因罹患新冠逝世,享年75岁。2007年,凭借对模型检测技术的开创性工作,克拉克与另外二人共同获得图灵奖,其中一位是他的学生艾伦·爱默生(Ernest Allen Emerson)。