Stephen Arthur Cook, OC, OOnt (nascut el 14 de desembre de 1939) és un prestigiós informàtic i matemàtic que ha fet contribucions importants en els camps de la complexitat computacional i la complexitat de proves. És professor de la Universitat de Toronto, als departaments d'Informàtica i de Matemàtiques.
Dades ràpides Nom original, Biografia ...
Stephen Arthur Cook |
Nom original | (en) Stephen Cook |
---|
|
Naixement | 14 desembre 1939 (84 anys)
Buffalo (Nova York) |
---|
|
|
|
|
|
Formació | Harvard Universitat de Michigan |
---|
Director de tesi | Hao Wang |
---|
Es coneix per | NP-completesa Complexitat de prova proposicional Teorema de Cook-Levin |
---|
|
Camp de treball | Ciències de la computació |
---|
Ocupació | Informàtica |
---|
Organització | Universitat de Toronto Universitat de Califòrnia a Berkeley |
---|
Membre de | |
---|
|
Estudiant doctoral | Toniann Pitassi, Anna Lubiw, Mark Braverman, Walter Savitch, Arvind Gupta, Michael Soltys (en) , H. James (Howard) Hoover (en) , Paul William Beame (en) , Romas Aleliunas (en) , Valentine Kabanets (en) , François Pitt (en) , Bruce M. Kapron (en) , Pierre Murdock McKenzie (en) , Xudong Fu (en) , Patrick William Dymond (en) , Antonina Kolokolova (en) , Roberto Lins de Carvalho (en) , Alan Ramsay Skelley (en) , Tomoyuki Yamakami (en) , Tsuyoshi Morioka (en) , Phuong The Nguyen (en) , Steven Perron (en) , Leslie Michael Goldschlager (en) , Derek C. Oppen (en) , Daniel Brand (en) , Martin Dowd (en) , Gloria Kissin (en) , Stephen Bellantoni (en) , Robert A. Reckhow (en) , Akitoshi Kawamura (en) , Dai Tri Man Le (en) , Lila A. Fontes (en) , R. Dustin Wehr (en) , Kaveh Ghasemloo (en) i Robert Robere (en) |
---|
|
Fills | Gordon Cook |
---|
Premis
- Premi Turing (1982)
- CRM-Fields-PIMS prize (1999)
- Premi John L. Synge (2006)
- Bernard Bolzano Medal
- Gerhard Herzberg Canada Gold Medal for Science and Engineering (2012)
- Premi de la Fundació BBVA Fronteres del Coneixement (2015)
|
|
Lloc web | cs.toronto.edu… |
---|
Tanca