愛德蒙·克拉克
| 愛德蒙·克拉克 Edmund Clarke | |
|---|---|
 愛德蒙·克拉克 | |
| 出生 | 1945年7月27日 美國維吉尼亞州紐波特紐斯 |
| 逝世 | 2020年12月22日（75歲） 美國賓夕法尼亞州黎巴嫩山 |
| 母校 | 康乃爾大學 |
| 知名於 | 模型檢查 |
| 獎項 | 圖靈獎 |
| 網站 | www |
| 科學生涯 | |
| 研究領域 | 電腦科學 |
| 機構 | 卡內基美隆大學 |
| 論文 | Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems（1976） |
| 博士導師 | 羅伯特·李·康斯特勃 |
| 博士生 | |
小愛德蒙·梅爾森·克拉克（英語：Edmund Melson Clarke, Jr.，1945年7月27日—2020年12月22日），美國計算機科學家。2007年，他與艾倫·愛默生和約瑟夫·斯發基斯一起因在模型檢查取得的傑出貢獻而獲得圖靈獎。[1]
美國匹茲堡當地時間2020年12月22日下午（北京時間12月23日上午）因感染2019冠狀病毒去世。[2]
參照
[編輯]- ^ 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）.
- ^ My father, Edmund M Clarke, passed away from Covid today. （頁面存檔備份，存於網際網路檔案館） James S. Clarke, 7:51PM, Dec 22, 2020
