스티븐 쿡
위키백과 ― 우리 모두의 백과사전.
스티븐 아더 쿡(Stephen Arthur Cook)은 미국의 전산학자이다.
1971년 ACM 《SIGACT Symposium on the Theory of Computing》에 실린 논문 〈The Complexity of Theorem Proving Procedures〉에서 NP-완전의 개념을 확립한 것으로 유명하다. 이 논문에 들어있는 쿡의 정리는 boolean satisfiability problem이 NP-완전임을 증명하는 것이다. 이 논문에서 P와 NP가 같은지를 질문했는데, 이 질문은 컴퓨터 과학의 가장 중요한 문제이며, 수많은 사람들이 연구하고 있으나 아직도 해결되지 않았다.
《컴퓨터를 만든 15인의 과학자(데이스 샤사 지음. 세종연구원 출판. 1998년》에서 그에 대한 자세한 이야기를 읽을 수 있다. 이 책은 《Out of Their Minds - The Lives and Discoveries of 15 Great Computer Scientists(ISBN 0387982698)》를 번역한 것이다.
[편집] 경력
- 1961년 미시간 대학에서 학사학위 받음.
- 1962년 하버드 대학에서 석사학위 받음.
- 1966년 하버드 대학에서 박사학위 받음.
- 1982년 ACM 튜링상 수상
- 2004년 현재 토론토 대학 수학과 교수임.
[편집] 바깥고리
분류: 정리가 필요한 문서 | 미국의 전산학자 | 튜링상 수상자
