小爱德蒙·梅爾森·克拉克（，），美国计算机科学家。2007年，他与艾伦·爱默生和约瑟夫·斯发基斯一起因在取得的杰出贡献而获得图灵奖。
美国匹兹堡当地时间2020年12月22日下午（北京时间12月23日上午）因感染2019冠状病毒去世。
参照
外部链接
*
- [http://www.cs.cmu.edu/~emc Home page at Carnegie Mellon University]
- [https://web.archive.org/web/20090417205051/http://usacm.acm.org/usacm/weblog/index.php?p=572 Turing Award announcement]
- [http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=3730 Model Checking book]
- [http://cmacs.cs.cmu.edu/ CMACS home page]
评论 (0)