John Cocke

John Cocke(1925-yil 30-mayda tugʻilgan, Sharlotta,Shimoliy Karolina, AQSH – 2002-yil 16-iyulda vafot etgan, Valxalla, Nyu-York), amerikalik matematik va kompyuter olimi, 1984-yilda A. M. Turing mukofoti, informatika sohasidagi eng yuqori mukofot, "kompilyatorlar dizayni va nazariyasi, katta tizimlar arxitekturasi va qisqartirilgan koʻrsatmalar toʻplamini (RISC) rivojlantirishga qoʻshgan muhim hissasi" uchun taqdirlangan. Hozirda kompilyatorlarni optimallashtirishda foydalaniladigan koʻplab fundamental oʻzgarishlarni aniqlash va tizimlashtirish uchun, shu jumladan operator kuchini kamaytirish, umumiy pastki ifodalarni yoʻq qilish, registrlarni ajratish, doimiy tarqalish va oʻlik kodni yoʻq qilish.

 Hayoti va ish faoliyati 
John Cocke Duke universitetida mashinasozlik boʻyicha bakalavr (1946) va matematika boʻyicha doktorlik (1953) darajasini oldi. Uning butun professional faoliyati IBM kompaniyasida sanoat tadqiqotchisi (1956–92) boʻlgan. Cocke IBM aʼzosi (1974) deb topildi. Johning otasi Duke Energy kompaniyasining prezidenti boʻlgan va universitetning vasiylar kengashida ishlagan. 1956-yildan 1992-yilgacha Cocke oʻz faoliyatini IBM da sanoat mashinalari tadqiqotchisi sifatida boshlagan. John Cocke International Business Machines Corporation May 25, 1925 – July 16, 2002

Uning innovatsiyalari eng yaxshi eʼtirof etilgan loyiha IBM 801 mini-kompyuteri boʻlib, uning amalga oshirilishi arxitektura koʻrsatmalari toʻplamiga, aslida kompilyatorlar tomonidan ishlab chiqarilgan nisbatan oddiy koʻrsatmalarga zid boʻlib, arzon narxlarda ishlashni oshirish imkonini beradi.

Cocke CYK algoritmining asoschilaridan biri boʻlgan (Cocke-Younger-Kasami algoritmi). Shuningdek, u 1970-1980-yillarda IBMda nutqni aniqlash va mashina tarjimasi algoritmlarini dastlabki ishlab chiqishda ishtirok etdi va nutqni aniqlash uchun tilning trigramma modelidan foydalanish gʻoyasini taklif qildi. Gʻoya Frederik Jelinek tomonidan maʼqullandi.John Cocke 

 Mukofotlari 
 1985 yil – Ekkert mukofoti – Mauchli
 1987 yil – Turing mukofoti 
 1989 yil – " Kompyuter texnologiyalari kashshofi " medali
 1991 yil – Texnologiya va innovatsiyalar uchun AQSh milliy medali
 1994 yil – AQSh milliy fan medali 
 1994 yil – Jon fon Neyman medali
 1994 yil – C&C mukofoti
 2000 yil – Benjamin Franklin medali

 Manba 

Turkum:Amerikalik dasturchilar
Turkum:AQSh olimlari
Turkum:AQSh milliarderlari
Turkum:Professorlar