Stephen A. Cook

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla
Stephen Cook
Prof.Cook.jpg
Doğum Stephen Arthur Cook
14 Aralık 1939 (1939-12-14) (78 yaşında)
Buffalo, New York, ABD
Dalı Bilgisayar bilimi
Çalıştığı yerler Toronto Üniversitesi
Kaliforniya Üniversitesi, Berkeley
Öğrenim Harvard Üniversitesi
Michigan Üniversitesi
Doktora hocası Hao Wang
Doktora öğrencileri Mark Braverman
Toniann Pitassi
Walter Savitch
Önemli başarıları Cook-Levin teoremi
Aldığı ödüller Turing Ödülü (1982)
John L. Synge Ödülü (2006)

Stephen Arthur Cook (d. 14 Aralık 1939), Amerikalı-Kanadalı bilgisayar bilimcisi ve matematikçi. Hesaplamalı karmaşıklık kuramı ve kanıt karmaşıklığı konularına yaptığı katkılarla tanınmıştır. Toronto Üniversitesi'nde profesör olarak çalışan Cook 1982 yılında Turing Ödülü'nü kazanmıştır.

Turing Ödülü sahipleri

Alan Perlis (1966) · Maurice Vincent Wilkes (1967) · Richard Hamming (1968) · Marvin Minsky (1969) · James H. Wilkinson (1970) · John McCarthy (1971) · Edsger Dijkstra (1972) · Charles Bachman (1973) · Donald Knuth (1974) · Allen Newell / Herbert Simon (1975) · Michael O. Rabin / Dana Scott (1976) · John Backus (1977) · Robert W. Floyd (1978) · Kenneth E. Iverson (1979) · Tony Hoare (1980) · Edgar F. Codd (1981) · Stephen Cook (1982) · Ken Thompson / Dennis Ritchie (1983) · Niklaus Wirth (1984) · Richard M. Karp (1985) · John Hopcroft / Robert Tarjan (1986) · John Cocke (1987) · Ivan Sutherland (1988) · William Kahan (1989) · Fernando J. Corbató (1990) · Robin Milner (1991) · Butler Lampson (1992) · Juris Hartmanis / Richard E. Stearns (1993) · Edward Feigenbaum / Raj Reddy (1994) · Manuel Blum (1995) · Amir Pnueli (1996) · Douglas Engelbart (1997) · Jim Gray (1998) · Fred Brooks (1999) · Andrew Yao (2000) · Ole-Johan Dahl / Kristen Nygaard (2001) · Ron Rivest / Adi Shamir / Leonard Adleman (2002) · Alan Kay (2003) · Vint Cerf / Bob Kahn (2004) · Peter Naur (2005) · Frances E. Allen (2006) · Edmund M. Clarke / E. Allen Emerson / Joseph Sifakis (2007) · Barbara Liskov (2008) · Charles P. Thacker (2009) · Leslie Valiant (2010) · Judea Pearl (2011) · Silvio Micali / Shafi Goldwasser (2012) · Leslie Lamport (2013) · Michael Stonebraker (2014) · Martin Hellman / Whitfield Diffie (2015) · Tim Berners-Lee (2016) · John L. Hennessy / David Patterson (2017)

Stub icon Bilim insanı ile ilgili bu madde bir taslaktır. Madde içeriğini geliştirerek Vikipedi'ye katkıda bulunabilirsiniz.
"https://tr.wikipedia.org/w/index.php?title=Stephen_A._Cook&oldid=19492491" adresinden alındı.