Սթիվեն Արթուր Կուկ (անգլ.՝ Stephen Arthur Cook, դեկտեմբերի 14, 1939(1939-12-14), Բուֆֆալո, Նյու Յորք, ԱՄՆ), հաշվողական համակարգերի տեսության բնագավառի ամերիկացի գիտնական։ Հայտնի է հաշվարկային բարդության տեսության վերաբերյալ իր աշխատանքով, Թյուրինգի մրցանակի դափնեկիր է։
Արագ փաստեր Սթիվեն Արթուր Կուկանգլ.՝ Stephen Cook, Ծնվել է ...
Սթիվեն Արթուր Կուկ անգլ.՝ Stephen Cook |
---|
|
Ծնվել է | դեկտեմբերի 14, 1939(1939-12-14) (84 տարեկան) Բուֆֆալո, Նյու Յորք, ԱՄՆ |
---|
Քաղաքացիություն | ԱՄՆ և Կանադա |
---|
Մասնագիտություն | համակարգչային գիտնական, համալսարանի դասախոս և մաթեմատիկոս |
---|
Հաստատություն(ներ) | Տորոնտոյի համալսարան և Կալիֆոռնիայի համալսարան, Բերքլի |
---|
Գործունեության ոլորտ | ինֆորմատիկա |
---|
Անդամակցություն | Լոնդոնի թագավորական ընկերություն, ԱՄՆ-ի Գիտությունների ազգային ակադեմիա, Կանադայի թագավորական ընկերություն, Արվեստների և գիտությունների ամերիկյան ակադեմիա, Գյոթինգենի Գիտությունների ակադեմիա և Հաշվողական տեխնիկայի ասոցիացիա |
---|
Ալմա մատեր | Հարվարդի համալսարան և Միչիգանի համալսարան |
---|
Գիտական աստիճան | գիտությունների դոկտոր |
---|
Տիրապետում է լեզուներին | անգլերեն[1] |
---|
Գիտական ղեկավար | Hao Wang? |
---|
Եղել է գիտական ղեկավար | Toniann Pitassi?, Anna Lubiw?[2], Mark Braverman?[2], Walter Savitch?[2], Arvind Gupta?[2], Michael Soltys?[2], H. James (Howard) Hoover?[2], Paul William Beame?[2], Romas Aleliunas?[2], Valentine Kabanets?[2], François Pitt?[2], Bruce M. Kapron?[2], Pierre Murdock McKenzie?[2], Xudong Fu?[2], Patrick William Dymond?[2], Antonina Kolokolova?[2], Roberto Lins de Carvalho?[2], Alan Ramsay Skelley?[2], Tomoyuki Yamakami?[2], Tsuyoshi Morioka?[2], Phuong The Nguyen?[2], Steven Perron?[2], Leslie Michael Goldschlager?[2], Derek C. Oppen?[2], Daniel Brand?[2], Martin Dowd?[2], Gloria Kissin?[2], Stephen Bellantoni?[2], Robert A. Reckhow?[2], Akitoshi Kawamura?[2], Dai Tri Man Le?[2], Lila A. Fontes?[2], R. Dustin Wehr?[2], Kaveh Ghasemloo?[2] և Robert Robere?[2] |
---|
Պարգևներ | |
---|
Երեխա(ներ) | Gordon Cook? |
---|
Կայք | cs.toronto.edu/~sacook/ |
---|
Stephen Cook Վիքիպահեստում |
Փակել
Իր «The Complexity of Theorem Proving Procedures»[7] աշխատանքում Կուկն ապացուցել է, որ բուլյան բանաձևերի իրագործելիության խնդիրը NP-ամբողջական խնդիր է։ Դրանով նա բարձրացրել է հաշվողական համակարգերի տեսության բարդագույն հարցերից մեկը P և NP բարդության դասերի հավասարության վերաբերյալ, որի պատասխանը մինչ այժմ չկա։
Կանադայի թագավորական ընկերության (1984), ԱՄՆ գիտությունների ազգային ակադեմիայի (1985)[8], Լոնդոնի թագավորական ընկերության (1998)[9] անդամ է։