Stephen A. Cook, hesaplama karmaşıklığı ve matematiksel mantık üzerine çalışan bilgisayar bilimcisidir. Buffalo'da doğdu. Michigan Üniversitesinde 1961'de lisansını, Harvard Üniversitesinde 1962'de yüksek lisansını ve 1966'da doktorasını tamamladı. 1966–1970 arasında Kaliforniya Üniversitesi Berkeley yerleşkesinde öğretim üyesiydi. 1970'te Toronto Üniversitesine katıldı ve 1975'te profesör oldu. Araştırmalarında programlama dillerinin anlambilimi, paralel hesaplama ve mantık ile karmaşıklık arasındaki ilişkileri ele aldı. [1]
HESAPLAMANIN GÜÇLÜĞÜ
Cook'un 1971'de yayımladığı The Complexity of Theorem Proving Procedures makalesi, NP-tamlık kuramının başlangıç çalışmalarındandır. Bu yaklaşım, bir çözümün etkin biçimde denetlenebilmesi ile etkin biçimde bulunabilmesi arasındaki ilişkiyi matematiksel bir problem olarak ele alır. Belirli zor problemlerden birine etkin bir çözüm bulunmasının aynı sınıftaki diğer problemlere etkisini gösterir. Cook, bu katkıları nedeniyle 1982 Turing Ödülü'nü aldı. Kanada Doğa Bilimleri ve Mühendislik Araştırma Konseyi de 2012'de kendisini Herzberg Madalyası ile ödüllendirdi. [1][2]