StephenACook

Stephen A. Cook

1971년에 NP-Complete 이론의 기초가 된 "The Complexity of Theorem Proving Procedures"라는 세미나 논문을 발표하여 유명해 짐.
이 논문은 워낙 충격적이어서 저널버전이 없음. 많은 사람들이 논문이 완성되기 전에 여러번 증명했기 때문에..
1982년에 이 논문으로 인해 TuringAward를 수상

여담: Cook 교수님은 버클리대학에서 정식교수자리를 내 주지 않자 캐나다 토론토대학에서 1970년부터 교수로 활동. NP-Complete 이론으로 야기된 P vs NP 문제는 아직도 유명한 수학의미해결문제임. 교수님은 L vs NL 문제를 P vs NP 문제와 같은 맥락에서 보고, L 과 NL이 같지 않다고 가설했으나, 1988년에 L과 NL은 같은 집합으로 증명됨. 그 뒤로 교수님은 P와 NP에 대한 가설을 회피하시고 계심.. 대다수의 사람들은 아직도 P가 NP와 같지 않다고 추측. --이현호