-
愛德蒙·克拉克
鎖定
愛德蒙·克拉克(Edmund Melson Clarke,1945年7月27日—2020年12月22日),出生於美國弗吉尼亞州紐波特紐斯市,計算機科學家,2007年圖靈獎得主之一,美國國家工程院院士,美國藝術與科學院院士,ACM fellow,IEEE fellow,生前是卡內基梅隆大學榮譽教授。
[3]
[6]
- 中文名
- 愛德蒙·克拉克
- 外文名
- Edmund Melson Clarke
- 國 籍
- 美國
- 出生地
- 美國弗吉尼亞州紐波特紐斯市
- 出生日期
- 1945年7月27日
- 逝世日期
- 2020年12月22日
- 畢業院校
- 康奈爾大學
- 職 業
- 教育科研工作者
- 主要成就
-
2011年當選為美國藝術與科學院院士
2007年獲得圖靈獎
2005年當選為美國國家工程院院士 - 學位/學歷
- 博士
愛德蒙·克拉克人物生平
1967年,獲得弗吉尼亞大學數學學士學位。
1968年年,獲得杜克大學數學碩士學位。
1976年,獲得康奈爾大學計算機科學博士學位。
1978年—1982年,任職於哈佛大學。
1982年,任職於卡內基梅隆大學。
1995年,獲得卡內基梅隆大學第一個FORE系統教授職位。
2005年,當選為美國國家工程院院士。
2011年,當選為美國藝術與科學院院士。
2015年,成為卡內基梅隆大學榮譽教授。
愛德蒙·克拉克主要成就
愛德蒙·克拉克科研成就
- 科研綜述
- 學術論文
[1]E Clarke,C Jantrachotechatchawan,Y Buhidma,M Broadstock,L Yu,D Howlett,D Aarsland,C Ballard,P T Francis.Age-related neurochemical and behavioural changes in D409V/WT GBA1 mouse: Relevance to lewy body dementia[J].Neurochemistry International,2019.
[2]E Clarke,C Jantrachotechatchawan,Y Buhidma,M Broadstock,L Yu,D Howlett,D Aarsland,C Ballard,P T Francis.Age-related neurochemical and behavioural changes in D409V/WT GBA1 mouse: Relevance to lewy body dementia[J].Neurochemistry International,2019.
[5]
[3]Haijun Gong,Tong Tong Wu,Edmund M Clarke.Pathway-gene identification for pancreatic cancer survival via doubly regularized Cox regression[J].BMC Systems Biology,2014.
[4]Qinsi Wang,Paolo Zuliani,Soonho Kong,Sicun Gao,Edmund Clark.SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty[J].Computing Research Repository (CoRR),2014.
[5]Paolo Zuliani,André Platzer,Edmund M. Clarke.Bayesian statistical model checking with application to Stateflow/Simulink verification[J].Formal Methods in System Design,2013.
[5]
愛德蒙·克拉克人才培養
- 培養成果
艾倫·愛默生是愛德蒙·克拉克在哈佛大學的博士生,他們於2007年共同獲得圖靈獎。
[2]
愛德蒙·克拉克榮譽表彰
獲獎時間 | 榮譽表彰 |
---|---|
1998年 | ACM Kanellakis獎 |
1999年 | 艾倫·紐厄爾卓越研究獎 |
2005年 | 美國國家工程院院士 |
2004年 | IEEE哈里·h·古德紀念獎 |
2007年 | 圖靈獎 |
2008年 | 卡內基梅隆大學“大學教授”獎 |
2008年 | 美國自動推理會議海伯倫自動推理傑出貢獻獎 |
2011年 | 美國藝術與科學院院士 |
2012年 | 維也納理工大學榮譽博士 |
2014年 | 富蘭克林研究所鮑爾獎和科學成就獎 |
愛德蒙·克拉克個人生活
- 家庭成員
愛德蒙·克拉克的妻子瑪莎(Martha)是卡內基梅隆大學計算機科學系和計算機科學學院的研究生招生協調員,於2014年退休。他有三個兒子,詹姆斯·克拉克(James Clarke,英特爾實驗室量子硬件研究組總監)、喬納森·克拉克(Jonathan Clarke)、傑弗裏·克拉克(Jeffrey Clarke),以及六個孫輩。
[2]
愛德蒙·克拉克社會任職
愛德蒙·克拉克人物評價
隨着愛德蒙·克拉克的去世,世界失去了一位計算機科學巨人(With Ed Clarke's passing, the world lost a giant in computer science)。(時任卡耐基梅隆大學校長法納姆·賈哈尼安評)
[2]
學術上的嚴謹是愛德蒙·克拉克的標誌;這為他贏得了計算機科學的最高榮譽,並通過他為計算機科學系注入了30多年的活力,他是全校(卡內基梅隆大學)師生的光輝榜樣(Intellectual rigor was a hallmark of Ed Clarke;it earned him computer science's highest honor and through him infused the Computer Science Department for more than 30 years,He was a shining example for both the faculty and students)。(時任卡內基梅隆大學計算機科學學院院長馬夏爾·赫伯特評)
[2]
他(愛德蒙·克拉克)在計算機系統驗證技術的概念和發展方面發揮了領導作用(his leading role in the conception and development of techniques for verification of computer systems)。(富蘭克林研究所鮑爾獎和科學成就獎評)
[2]
- 參考資料
-
- 1. 愛德蒙·克拉克(Edmund Melson Clarke) .AMiner[引用日期2023-08-22]
- 2. Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors .Carnegie Mellon University[引用日期2023-08-22]
- 3. EDMUND MELSON CLARKE .ACM[引用日期2023-08-22]
- 4. Research Subjects .ACM[引用日期2023-08-22]
- 5. Edmund Melson Clarke(愛德蒙·克拉克) .AMiner[引用日期2023-08-25]
- 6. 類霍爾公理系統的完備性與不完備性定理 .CMU[引用日期2023-09-01]