Sari la conținut

Stephen Cook

De la Wikipedia, enciclopedia liberă
Stephen Arthur Cook
Date personale
Nume la naștereStephen Arthur Cook Modificați la Wikidata
Născut (84 de ani)
Buffalo, New York, SUA
CopiiGordon Cook[*][[Gordon Cook (Canadian yacht racer)|​]] Modificați la Wikidata
Cetățenie Statele Unite ale Americii
 Canada Modificați la Wikidata
Ocupațieinformatician
cadru didactic universitar[*]​
matematician Modificați la Wikidata
Limbi vorbitelimba engleză[2] Modificați la Wikidata
Activitate
RezidențăStatele Unite ale Americii Statele Unite ale Americii
Canada Canada
Domeniuinformatician
InstituțieUniversitatea California, Berkeley
Universitatea Toronto
Alma MaterUniversitatea Harvard
Universitatea din Michigan  Modificați la Wikidata
OrganizațiiSocietatea Regală din Londra
Academia Națională de Științe a Statelor Unite ale Americii[*]​
Royal Society of Canada[*][[Royal Society of Canada (academy in Canada)|​]]
Academia Americană de Arte și Științe[*]​
Academia de Științe Göttingen[*]​
Association for Computing Machinery[1]  Modificați la Wikidata
Conducător de doctoratHao Wang
Cunoscut pentruNP-completitudine
PremiiPremiul Turing, 1982
Prezență online
Modifică date / text Consultați documentația formatului

Stephen Arthur Cook (n. 14 decembrie 1939, Buffalo, New York, SUA) este un informatician american, care a formalizat noțiunea de NP-completitudine într-o lucrare scrisă în 1971 și intitulată Complexitatea procedurilor de demonstrare a teoremelor, în care a demonstrat că problema satisfacerii expresiilor booleene este NP completă. Pentru aceasta, Cook a primit în 1982 Premiul Turing.


v • d • m
Laureați ai Premiului A. M. Turing

Perlis (1966) · Wilkes (1967) · Hamming (1968) · Minsky (1969) · Wilkinson (1970) · McCarthy (1971) · Dijkstra (1972) · Bachman (1973) · Knuth (1974) · Newell / Simon (1975) · Rabin / Scott (1976) · Backus (1977) · Floyd (1978) · Iverson (1979) · Hoare (1980) · Codd (1981) · Cook (1982) · Thompson / Ritchie (1983) · Wirth (1984) · Karp (1985) · Hopcroft / Tarjan (1986) · Cocke (1987) · Sutherland (1988) · Kahan (1989) · Corbató (1990) · Milner (1991) · Lampson (1992) · Hartmanis / Stearns (1993) · Feigenbaum / Reddy (1994) · Blum (1995) · Pnueli (1996) · Engelbart (1997) · Gray (1998) · Brooks (1999) · Yao (2000) · Dahl / Nygaard (2001) · Rivest / Shamir / Adleman (2002) · Kay (2003) · Cerf / Kahn (2004) · Naur (2005) · Allen (2006) · Clarke / Emerson / Sifakis (2007)  · Liskov (2008)  · Thacker (2009)  · Valiant (2010)  · Pearl (2011)  · Micali / Goldwasser (2012)  · Lamport (2013)  · Stonebraker (2014)  · Diffie / Hellman (2015)  · Tim Berners-Lee (2016)  · John L. Hennessy / David Patterson (2017)  · Yoshua Bengio / Geoffrey Hinton / Yann LeCun (2018)  · Ed Catmull / Pat Hanrahan (2019)  · Alfred Aho / Jeffrey Ullman (2020)  · Jack Dongarra (2021)  · Robert Metcalfe (2022)  · Avi Wigderson (2023)

 Acest articol biografic despre un american este un ciot. Puteți ajuta Wikipedia prin completarea lui!
  1. ^ https://www.acm.org/media-center/2009/january/acm-names-44-fellows-for-contributions-to-computing-and-it, accesat în   Lipsește sau este vid: |title= (ajutor)
  2. ^ IdRef, accesat în  
Adus de la https://ro.wikipedia.org/w/index.php?title=Stephen_Cook&oldid=16111142