스티븐 쿡 Stephen Arthur Cook
出生	1939年 12月 14日 ( 1939-12-14 ) (84歲) 美國 뉴욕州 버펄로
主要 業績	NP-完全 命題 論理 證明 複雜度 쿡-레빈 整理
受賞	튜링上 (1982) CRM-Fields-PIMS 上 (1999) 존 L. 싱 上 (2006) 베르나르트 볼차노 메달 게르하르트 허츠버그 科學과 工學 캐나다 金메달 (2012) 캐나다 勳章 (2015) BBVA 財團 知識 프론티어 上 (2015)
分野	컴퓨터 科學
所屬	토론토 大學校 캘리포니아 大學校 버클리
博士 敎授	下午 王
博士 學生	Paul Beame Mark Braverman Valentine Kabanets 토니안 被打視 (Toniann Pitassi) 로버트 A. 렉하우 (Robert A. Reckhow) 월터 社備置 ((Walter Savitch)

스티븐 아서 쿡 (Stephen Arthur Cook, 1939年 12月 14日~ )은 美國 의 電算學者 이다.

1971年 ACM 《SIGACT Symposium on the Theory of Computing》에 실린 論文 〈The Complexity of Theorem Proving Procedures〉에서 NP-完全 의 槪念을 確立한 것으로 有名하다. 이 論文에 들어있는 쿡의 整理 는 充足 可能性 問題 가 NP-完全임을 證明하는 것이다. 이 論文에서 P와 NP가 같은지를 質問했는데 이를 P-NP 問題 라고 부르며, 컴퓨터 科學의 가장 重要한 問題로 밀레니엄 問題 中 하나이기도 하다.

經歷 [ 編輯 ]

• 1961年 미시간 大學 學士學位
• 1962年 하버드 大學 碩士學位
• 1966年 하버드 大學 博士學位
• 1982年 ACM 튜링上 受賞
• (2004年 基準) 토론토 大學 數學科 敎授

外部 링크 [ 編輯 ]

위키미디어 共用 에 關聯된
미디어 分類가 있습니다.

스티븐 쿡

• 스티븐 쿡 홈페이지

이 글은 美國 사람에 關한 토막글 입니다. 여러분의 知識으로 알차게 文書를 完成해 갑시다.