爱德蒙·克拉克

2007年图灵奖得主之一

爱德蒙·克拉克（Edmund Melson Clarke，1945年7月27日—2020年12月22日），出生于美国弗吉尼亚州纽波特纽斯市，计算机科学家，2007年图灵奖得主之一，美国国家工程院院士，美国艺术与科学院院士，ACM fellow，IEEE fellow，生前是卡内基梅隆大学荣誉教授。

人物生平

1945年7月27日，爱德蒙·克拉克出生于美国弗吉尼亚州纽波特纽斯市。

1967年，获得弗吉尼亚大学数学学士学位。

1968年年，获得杜克大学数学硕士学位。

1976年，获得康奈尔大学计算机科学博士学位。

1976年—1978年，任职于杜克大学。

1978年—1982年，任职于哈佛大学。

1982年，任职于卡内基梅隆大学。

1995年，获得卡内基梅隆大学第一个FORE系统教授职位。

2005年，当选为美国国家工程院院士。

2007年，获得图灵奖。

2011年，当选为美国艺术与科学院院士。

2015年，成为卡内基梅隆大学荣誉教授。

2020年12月22日，死于COVID-19，享年75岁。

主要成就

科研成就

爱德蒙·克拉克与合作者共同开发了一种自动检测计算机硬件和软件设计错误的方法，它被称为模型检查，被广泛使用，有助于提高复杂计算机芯片、系统和网络的可靠性。

据2023年9月AMiner平台数据，爱德蒙·克拉克已发表学术论文524篇，论文被引81651次，H-index：99。

[1]E Clarke,C Jantrachotechatchawan,Y Buhidma,M Broadstock,L Yu,D Howlett,D Aarsland,C Ballard,P T Francis.Age-related neurochemical and behavioural changes in D409V/WT GBA1 mouse: Relevance to lewy body dementia[J].Neurochemistry International,2019.

[2]E Clarke,C Jantrachotechatchawan,Y Buhidma,M Broadstock,L Yu,D Howlett,D Aarsland,C Ballard,P T Francis.Age-related neurochemical and behavioural changes in D409V/WT GBA1 mouse: Relevance to lewy body dementia[J].Neurochemistry International,2019.

[3]Haijun Gong,Tong Tong Wu,Edmund M Clarke.Pathway-gene identification for pancreatic cancer survival via doubly regularized Cox regression[J].BMC Systems Biology,2014.

[4]Qinsi Wang,Paolo Zuliani,Soonho Kong,Sicun Gao,Edmund Clark.SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty[J].Computing Research Repository (CoRR),2014.

[5]Paolo Zuliani,André Platzer,Edmund M. Clarke.Bayesian statistical model checking with application to Stateflow/Simulink verification[J].Formal Methods in System Design,2013.

人才培养

艾伦·爱默生是爱德蒙·克拉克在哈佛大学的博士生，他们于2007年共同获得图灵奖。

荣誉表彰

个人生活

爱德蒙·克拉克的妻子玛莎（Martha）是卡内基梅隆大学计算机科学系和计算机科学学院的研究生招生协调员，于2014年退休。他有三个儿子，詹姆斯·克拉克（James Clarke，英特尔实验室量子硬件研究组总监）、乔纳森·克拉克（Jonathan Clarke）、杰弗里·克拉克（Jeffrey Clarke），以及六个孙辈。

社会任职

爱德蒙·克拉克是美国计算机辅助验证会议的创始人之一，他曾担任《Formal Methods in Systems Design》（系统设计中的形式化方法）杂志的主编。

人物评价

随着爱德蒙·克拉克的去世，世界失去了一位计算机科学巨人（With Ed Clarke's passing, the world lost a giant in computer science）。（时任卡耐基梅隆大学校长法纳姆·贾哈尼安评）

学术上的严谨是爱德蒙·克拉克的标志；这为他赢得了计算机科学的最高荣誉，并通过他为计算机科学系注入了30多年的活力，他是全校（卡内基梅隆大学）师生的光辉榜样（Intellectual rigor was a hallmark of Ed Clarke;it earned him computer science's highest honor and through him infused the Computer Science Department for more than 30 years,He was a shining example for both the faculty and students）。（时任卡内基梅隆大学计算机科学学院院长马夏尔·赫伯特评）

他（爱德蒙·克拉克）在计算机系统验证技术的概念和发展方面发挥了领导作用（his leading role in the conception and development of techniques for verification of computer systems）。（富兰克林研究所鲍尔奖和科学成就奖评）

全国各地天气预报查询

上海市

云南省

云南省

云南省

云南省

云南省