Stephen Arthur Cook
| Stephen Arthur Cook | |
|---|---|
 Stephen A. Cook 1968-yil | |
| Tavalludi |
Stephen Arthur Cook 14-dekabr 1939-yil |
| Fuqaroligi |
 AQSh, Canada |
| Taʼlimi | Yel universiteti, Stenford universiteti |
| Kasbi | Kampyuter mutaxassisi |
| Faoliyat yillari | Kaliforniya universiteti, Berkli |
| Mukofotlari | Turing mukofoti, Jon L. Synge mukofoti (2006) |
Stiphen Arthur Cook 1939-yil 14-dekabrda tugʻilgan (Buffalo, Nyu-York, AQSh). Amerikalik kompyuter mutaxassisi va 1982-yilda A. M. Turing mukofotini „advancement of our understanding of the complexity of computation in a significant and profound way“ ilmiy ishi uchun taqdirlangan[1].
Hayoti va ish faoliyati
[tahrir | manbasini tahrirlash]Cook Michigan universitetida kompyuter fanlari boʻyicha bakalavr (1961) va Garvard universitetida kompyuter fanlari boʻyicha magistr (1962) va doktorlik (1966) darajasini qoʻlga kiritdi. Garvardni tark etgach, Cook Berklidagi Kaliforniya universiteti fakultetiga ishga kirdi. 1970-yilda Cook Toronto universitetiga koʻchib oʻtdi va u yerdan 1985-yilda universitet professori unvonini qoʻlga kiritdi[2]. 1971-yilda Cook „The Complexity of Theorem Proving Procedures“ ni chop etdi, bu NP-toʻliq muammolar nazariyasiga asos solgan muhim maqola – samarali echim algoritmi maʼlum boʻlmagan muammolar[3]. Ushbu soha kompyuter fanida eng muhim sohalardan biri boʻlib qolmoqda. Cook London Qirollik jamiyati, Kanada Qirollik jamiyati, AQSH Milliy fanlar akademiyasi va Amerika sanʼat va fanlar akademiyasiga saylangan. Cook Jon L. Synge mukofoti va Bernard Bolzano medalini qoʻlga kiritdi.
Mukofotlari
[tahrir | manbasini tahrirlash]- 1977-yil – Steasie Memorial Fellowship mukofoti
- 1982-yil – Killam Research Fellowship mukofoti
- 1999-yil – CRM-Fields-PIMS mukofoti
- 1982-yil – ACM Turing mukofoti
- 2008-yil – ACM aʼzosi sifatida taqdirlandi
- 2015-yil – Kanada ordeni ofitseri unvoni
- 2012-yil – Kanadalik Gerxard Gertsberg oltin medali
- 2015-yil – BBVA Foundation Frontiers of Knowledge Awards
Manbalar
[tahrir | manbasini tahrirlash]- ↑ Kapron, Bruce „Stephen Arthur Cook“. A. M. Turing Award. Qaraldi: 2018-yil 23-oktyabr.
- ↑ Richard Karp. „A Personal View of Computer Science at Berkeley“. University of California Berkeley (2003). Qaraldi: 2023-yil 12-fevral.
- ↑ Stephen Cook (1971), The Complexity of Theorem Proving Procedures (PDF) — University of TorontoStephen A. Cook. „The Complexity of Theorem-Proving Procedures“ (2009). Qaraldi: 2023-yil 12-fevral.