爱德蒙·克拉克
小爱德蒙·梅爾森·克拉克（英語：，1945年7月27日 - 2020年12月22日），美国计算机科学家。2007年，他与艾伦·爱默生和约瑟夫·斯发基斯一起因在模型檢查取得的杰出贡献而获得图灵奖。[1]
| 爱德蒙·克拉克 Edmund Clarke | |
|---|---|
 爱德蒙·克拉克 | |
| 出生 | 1945年7月27日 美國維吉尼亞州紐波特紐斯 |
| 逝世 | 2020年12月22日（75歲） 美國賓夕法尼亞州黎巴嫩山 |
| 国籍 |  美國 |
| 母校 | 康乃爾大學 |
| 知名于 | 模型檢查 |
| 奖项 | 圖靈獎 |
| 网站 | www |
| 科学生涯 | |
| 研究领域 | 電腦科學 |
| 机构 | 卡內基美隆大學 |
| 论文 | Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems（1976） |
| 博士导师 | 羅伯特·李·康斯特勃 |
| 博士生 |
|
参照
- . 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
外部链接
 |
维基共享资源中相关的多媒体资源：爱德蒙·克拉克 |
- 爱德蒙·克拉克在數學譜系計畫的資料。
- Home page at Carnegie Mellon University 页面存档备份，存于
- Turing Award announcement
- Model Checking book 页面存档备份，存于
- CMACS home page 页面存档备份，存于
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.