跳至內容

愛德蒙·克拉克

維基百科,自由的百科全書
愛德蒙·克拉克
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
博士生

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

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

參照

[編輯]

外部連結

[編輯]