财新传媒

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

来源于 《财新周刊》 2021年第02期 出版日期 2021年01月11日
可以听文章啦!
爱德蒙·克拉克(1945—2020)计算机科学家、2007年图灵奖获得者
爱德蒙·克拉克(1945—2020)计算机科学家、2007年图灵奖获得者
文|黄小骑

独立撰稿人

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

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

版面编辑:杨胜忠
推广

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


热词推荐
债券基金 硬座 何立峰 曾荫权 存贷比 新凤霞 中央委员 埃博拉病毒 刘志庚 东部战区 祁斌 马里 张进 互联网彩票 票据法