에드먼드 M. 클라크 Edmund M. Clarke
2006年의 클라크
出生	1945年 7月 27日 ( 1945-07-27 ) 美國 버지니아州 뉴포트뉴스
死亡	2020年 12月 22日 ( 2020-12-22 ) (75歲) 美國 펜실베이니아주 피츠버그
國籍	美國
主要 業績	모델 檢證 ( 英語版 )
受賞	튜링上
學位 論文	Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems (1976)
博士 敎授	로버트 리 컨스터블 ( 英語版 )
博士 學生	E. 앨런 에머슨 ( 英語版 )

에드먼드 멜슨 클라크 2歲 ( Edmund Melson Clarke, Jr. , 1945年 7月 27日 ~ 2020年 12月 22日 )는 美國의 컴퓨터 科學者이다.

1967年 버지니아 大學校 數學科 學事, 1968年 듀크 大學校 數學科 碩士를 거쳐 1976年 코넬 大學校 에서 컴퓨터 科學 博士 學位를 받았다. 卒業 後 듀크 大學校에서 講義를 하다가 1978年 하버드 大學校 , 1982年 카네기 멜론 大學校 로 옮겼다. 1989年 正敎授가 되었다.

클라크는 소프트웨어·하드웨어 檢證과 自動 整理 證明 을 硏究했다. 1981年 博士課程 地圖學生人 E. 앨런 에머슨 ( 英語版 ) 과 함께 有限 狀態 病行 시스템을 위한 모델 檢證 ( 英語版 ) 을 考案하였다. 이 功勞로 둘은 1999年 ACM 파리스 카넬라키스上 ( 英語版 ) 과 2007年 튜링上 을 共同 受賞했다.

2020年 코로나19 로 鬪病中 死亡했다. ^{[1] [2]}

各州 [ 編輯 ]