스티븐 쿡

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
Picto infobox character.png
스티븐 쿡
Stephen Arthur Cook
Prof.Cook.jpg
출생 1939년 12월 14일(1939-12-14) (76세)
미국 뉴욕 주 버펄로
분야 컴퓨터 과학
소속 토론토 대학교
캘리포니아 대학교 버클리
출신 대학 하버드 대학교
미시간 대학교
지도 교수 하오 왕
지도 학생 Paul Beame
Mark Braverman
Valentine Kabanets
토니안 피타시(Toniann Pitassi)
로버트 A. 렉하우(Robert A. Reckhow)
월터 사비치((Walter Savitch)
주요 업적 NP-완전
명제 논리 증명 복잡도
쿡-레빈 정리
수상 튜링상 (1982)
CRM-Fields-PIMS 상 (1999)
존 L. 싱 상 (2006)
베르나르트 볼차노 메달
게르하르트 허츠버그 과학과 공학 캐나다 금메달 (2012)
캐나다 훈장 (2015)
BBVA 재단 지식 프론티어 상 (2015)

스티븐 아서 쿡(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가 같은지를 질문했는데, 이 질문은 컴퓨터 과학의 가장 중요한 문제이며, 수많은 사람들이 연구하고 있으나 아직도 해결되지 않았다.

경력[편집]

바깥 고리[편집]