愛德蒙·克拉克

愛德蒙·克拉克（Edmund Clarke）1967年從美國南部的維吉尼亞大學獲得了其數學的學士學位，然後1968年從杜克大學完成了其數學的碩士學位的學業。9年之後的1976年，從康奈爾大學計算機系獲得其博士學位。然後，Clarke在杜克大學任教兩年。1978年，加入了哈佛大學並擔任助理教授一職。1982年，Clarke離開哈佛加入了卡內基梅隆大學計算機系，並在1989年被評為全職終身教授一職。

基本信息

• 中文名：愛德蒙·克拉克
• 英文名：Edmund Clarke
• 國籍：美國
• 職業： 教授
  
• 畢業院校：維吉尼亞大學

研究工作

他的工作之一就是證明的在一些程式語言的控制邏輯中沒有一個完善的Hoare理論證明系統。

個人成就

1981年，他與自己的博士生Allen Emerson首次提出了模型檢查的想法並用在自動機並發系統的驗證研究上。成為形式邏輯研究方面模型檢查的開創者之一。

個人榮譽

2007年度圖靈獎授予Edmund M. Clarke、E Allen Emerson和Joseph Sifakis三位科學家，表彰他們開發模型檢測技術，並使之成為一個廣泛套用在硬體和軟體工業中非常有效的算法驗證技術所做的奠基性貢獻。

愛德蒙·克拉克

歷屆圖靈獎獲獎名單

艾倫·佩利 詹姆斯·維爾金森 高德納 達納·斯科特 安東尼·何珥 丹尼斯·里奇 羅伯特·塔揚 費爾南多·考巴托 理察·斯特恩斯 阿米爾·伯努利 姚期智 阿迪·薩莫爾 羅伯特·卡恩 艾倫·愛默生 萊斯利·蘭波特

莫里斯·威爾克斯 約翰·麥卡錫 艾倫·紐厄爾 約翰·巴克斯 埃德加·科德 尼古拉斯·沃斯 約翰·科克 羅賓·米爾納 愛德華·費根鮑姆 道格拉斯·恩格爾巴特 奧利·約翰·達爾 倫納德·阿德曼 彼得·諾爾 約瑟夫·斯發基斯 希爾維奧·米卡利

理察·衛斯里·漢明 艾茲格·迪科斯徹 赫伯特·西蒙 羅伯特·弗洛伊德 史提芬·古克 理察·卡普 伊凡·蘇澤蘭 巴特勒·蘭普森 拉吉·瑞迪 詹姆斯·尼古拉·格雷 克利斯登·奈加特 艾倫·凱 法蘭西斯·艾倫 芭芭拉·利斯科夫 莎菲·戈德瓦塞爾

馬文·閔斯基 查理士·巴赫曼 麥可·拉賓 肯尼斯·艾佛森 肯·湯普遜 約翰·霍普克羅夫特 威廉·卡亨 尤里斯·哈特馬尼斯 曼紐爾·布盧姆 弗雷德里克·布魯克斯 羅納德·李維斯特 文特·瑟夫 愛德蒙·克拉克 查爾斯·薩克爾 朱迪亞·珀爾