爱德蒙·克拉克

小爱德蒙·梅爾森·克拉克（，），美国计算机科学家。2007年，他与艾伦·爱默生和约瑟夫·斯发基斯一起因在取得的杰出贡献而获得图灵奖。

美国匹兹堡当地时间2020年12月22日下午（北京时间12月23日上午）因感染2019冠状病毒去世。My father, Edmund M Clarke, passed away from Covid today.  James S. Clarke, 7:51PM, Dec 22, 2020

 参照 

 外部链接 


 Home page at Carnegie Mellon University 
 Turing Award announcement
 Model Checking book 
 CMACS home page 

Category:图灵奖获得者
Category:美国计算机科学家
Category:卡内基美隆大学教师
Category:哈佛大学工程与应用科学学院教师
Category:弗吉尼亚大学校友
Category:杜克大学校友
Category:杜克大学教师
Category:康乃爾大学校友
Category:美国国家工程院院士
Category:美国文理科学院院士
Category:美国计算机学会会士
Category:電機電子工程師學會會士
Category:鲍尔科学成就奖获得者
Category:死于2019冠状病毒病美国疫情的人