财新传媒
文化 > 逝者 > 正文

逝者|模型检测技术开创者

2021年01月09日 09:14 来源于 财新网
可以听文章啦!
爱德蒙·克拉克(1945—2020)计算机科学家、2007年图灵奖获得者
爱德蒙·克拉克(1945—2020)计算机科学家、2007年图灵奖获得者

文|黄小骑
独立撰稿人

  病毒似乎要把时间攒成一个漩涡,加速荡漾出生与死的浪花。2020年12月22日,计算机科学家爱德蒙·克拉克(Edmund M. Clarke)因罹患新冠逝世,享年75岁。

  2007年,凭借对模型检测技术的开创性工作,克拉克与另外二人共同获得图灵奖,其中一位是他的学生艾伦·爱默生(Ernest Allen Emerson)。颁奖词中写道 :“他们的创造从理论技术转变为高度有效的验证技术,使得计算机硬件和软件工程师们可以有效发现复杂系统设计中的错误。”克拉克开创的模型检测技术,可以让计算机自动检测自身的错误。

版面编辑:杨胜忠
推广

财新私房课
好课推荐
财新微信


热词推荐
同洲电子 极右翼 贯彻新发展理念 期货交易时间 滑膜肉瘤 洛克菲勒中心 田纪云 一期一会 平安大厦 王文涛 银监局 中央委员 意大利公投将启动 prl 李显龙