模型检测技术开创者

导出

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

作者黄小骑

机构地区不详

出处《财新周刊》 2021年第2期88-88,共1页 Caixin Weekly

关键词计算机科学家模型检测开创性工作爱默生图灵奖克拉克开创者生与死

分类号 K82 [历史地理—历史学]

引文网络
相关文献

1徐海峰.指向“计算思维”的信息技术编程教学[J].新教育（海南）,2020(35):57-57.
2埃德蒙·德·瓦尔:流亡图书馆[J].三月风,2020(8):62-62.
3何晶.柯文思:这是21世纪最大的新闻故事[J].新华月报,2020(24):104-107.
4Yang Xuehe.Top American and Chinese officials convene remote dialogue on shared global challenges[J].Voice of Friendship,2020(1):8-8.
5菲菲.百变插画大师[J].小艺术家,2020(6):14-16.
6阿廖沙.重舰之荡——沉于萨沃的“阿斯托里亚”号重巡洋舰[J].舰载武器,2020(11):87-96.
7邱希斌,宋帆,许任伟,林诗涵,林钊,黄姝玲,许亚煊.部分市售抑菌牙膏对7种常见口腔致病菌的体外抑制评价[J].日用化学工业,2020,50(12):861-866. 被引量：1
8岳宗进,刘汝银,于露,王新立,冯仲锴,王西彬,李云朋,许大勇.赤芍总苷对脊髓损伤大鼠脊髓细胞凋亡的影响及机制[J].解放军医学杂志,2020,45(12):1238-1241. 被引量：6
9Jessique Ghezzi-Haeft,K. Nicholson,K. Neumann,L. Wood,S. Acharya,S. Sharma.Spatial Variation of Nutrient Concentrations (NH+4and Cl-) in the Dudhkoshi River Basin, Sagarmatha National Park, Nepal[J].Journal of Water Resource and Protection,2020,12(7):577-589.
10丁凡,屈张.以历史文化遗产保护为特征的城市更新探析——以新加坡河的再生为例[J].建筑与文化,2021(1):181-182. 被引量：4

财新周刊

2021年第2期

浏览历史

内容加载中请稍等...

模型检测技术开创者

相关作者

相关机构

相关主题

浏览历史