愛德蒙·克拉克

小愛德蒙·梅爾森·克拉克（英語：Edmund Melson Clarke, Jr.，1945年7月27日—2020年12月22日），美國計算機科學家。2007年，他與艾倫·愛默生和約瑟夫·斯發基斯一起因在模型檢查（英語：Model checking）取得的傑出貢獻而獲得圖靈獎。^[1]

愛德蒙·克拉克 Edmund Clarke
愛德蒙·克拉克
出生	(1945-07-27)1945年7月27日  美國維吉尼亞州紐波特紐斯
逝世	2020年12月22日(2020歲—12—22)（75歲）  美國賓夕法尼亞州黎巴嫩山（英語：Mt. Lebanon, Pennsylvania）
母校	康乃爾大學
知名於	模型檢查（英語：Model checking）
獎項	圖靈獎
網站	www.cs.cmu.edu/~emc
科學生涯
研究領域	電腦科學
機構	卡內基美隆大學
論文	Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems（1976）
博士導師	羅伯特·李·康斯特勃（英語：Robert Lee Constable）
博士生	艾倫·愛默生 布巴內斯瓦爾·米莎拉（英語：Bhubaneswar Mishra） 大衛·L·迪爾（英語：David L. Dill）

美國匹茲堡當地時間2020年12月22日下午（北京時間12月23日上午）因感染2019冠狀病毒去世。^[2]

2 sources

热门问题

时间线

聊天

视角

參照

1. ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs. University of Texas. 2008-02-04 [2013-12-22]. （原始內容存檔於2008-05-09）.
2. 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 （頁面存檔備份，存於互聯網檔案館）