John Cocke
Жоҳн Cоcке (1925-йил 30-майда туғилган, Шарлотта, Шимолий Каролина, АҚСҲ) – 2002-йил 16-июлда вафот этган, Валхалла, Ню-Ёрк, америкалик математик ва компютер олими, 1984-йилда А. М. Туринг мукофоти, информатика соҳасидаги энг юқори мукофот, "компиляторлар дизайни ва назарияси, катта тизимлар архитектураси ва қисқартирилган кўрсатмалар тўпламини (РИСC) ривожлантиришга қўшган муҳим ҳиссаси" учун тақдирланган. Ҳозирда компиляторларни оптималлаштиришда фойдаланиладиган кўплаб фундаментал ўзгаришларни аниқлаш ва тизимлаштириш учун, шу жумладан оператор кучини камайтириш, умумий пастки ифодаларни йўқ қилиш, регистрларни ажратиш, доимий тарқалиш ва ўлик кодни йўқ қилиш.
| Жоҳн Cоcке | |
|---|---|
| Таваллуди |
Жоҳн Cоcке 30-май 1925-йил Чарлотте, Шимолий Каролина , АҚСҲ |
| Вафоти |
16-июл 2002-йил (77 ёшда) Неw Ёрк |
| Фуқаролиги |
 АҚСҲ |
| Таълими | Дуке университети |
| Касби | Америкалик математик ва компютер олими |
| Мукофотлари | Туринг мукофоти, компютер кашшофлари медали ва бошқалар. |
Ҳаёти ва иш фаолияти
Жоҳн Cоcке Дуке университетида машинасозлик бўйича бакалавр (1946) ва математика бўйича докторлик (1953) даражасини олди. Унинг бутун профессионал фаолияти ИБМ компаниясида саноат тадқиқотчиси (1956–92) бўлган. Cоcке ИБМ аъзоси (1974) деб топилди. Жоҳнинг отаси Дуке Энергй компаниясининг президенти бўлган ва университетнинг васийлар кенгашида ишлаган. 1956-йилдан 1992-йилгача Cоcке ўз фаолиятини ИБМ да саноат машиналари тадқиқотчиси сифатида бошлаган[1].
Унинг инновациялари энг яхши эътироф этилган лойиҳа ИБМ 801 мини-компютери бўлиб, унинг амалга оширилиши архитектура кўрсатмалари тўпламига, аслида компиляторлар томонидан ишлаб чиқарилган нисбатан оддий кўрсатмаларга зид бўлиб, арзон нархларда ишлашни ошириш имконини беради.
Cоcке CЙК алгоритмининг асосчиларидан бири бўлган (Cоcке-Ёунгер-Касами алгоритми). Шунингдек, у 1970-1980-йилларда ИБМда нутқни аниқлаш ва машина таржимаси алгоритмларини дастлабки ишлаб чиқишда иштирок этди ва нутқни аниқлаш учун тилнинг триграмма моделидан фойдаланиш ғоясини таклиф қилди. Ғоя Фредерик Желинек томонидан маъқулланди[2].
Мукофотлари
- 1985 йил – Эккерт мукофоти – Маучли
- 1987 йил – Туринг мукофоти
- 1989 йил – " Компютер технологиялари кашшофи " медали
- 1991 йил – Технология ва инновациялар учун АҚШ миллий медали
- 1994 йил – АҚШ миллий фан медали
- 1994 йил – Жон фон Нейман медали
- 1994 йил – C&C мукофоти
- 2000 йил – Бенжамин Франклин медали.