愛德蒙·克拉克

Infobox scientist | name = 愛德蒙 · 克拉克Edmund Clarke | image = Edmund Clarke FLoC 2006.jpg | caption = 愛德蒙 · 克拉克 | birth_date = | birth_place = 美國維吉尼亞州紐波特紐斯 | death_date = | death_place = 美國賓夕法尼亞州 | nationality = | fields = 電腦科學 | workplaces = 卡內基美隆大學 | alma_mater = 康乃爾大學 | thesis_title = Completeness and Incompleteness Theorems for Hoare - Like Axiom Systems | thesis_year = 1976 | doctoral_advisor = | doctoral_students = | known_for = | awards = 圖靈獎 | website = 小愛德蒙 · 梅爾森 · 克拉克 ( 1945年7月27日 - 2020年12月22日 ） ， 美國計算機科學家 。 2007年 ， 他與艾倫 · 愛默生和約瑟夫 · 斯發基斯一起因在取得的傑出貢獻而獲得圖靈獎 。 美國匹茲堡當地時間2020年12月22日下午 （ 北京時間12月23日上午 ） 因感染2019冠狀病毒去世 。