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.

John Cocke
Tavalludi
John Cocke

30-may 1925-yil
Vafoti 16-iyul 2002-yil(2002-07-16)
(77 yoshda)
New York
Fuqaroligi AQSH bayrogʻi AQSh
Taʼlimi Duke universiteti
Kasbi Amerikalik matematik va kompyuter olimi
Mukofotlari Turing mukofoti, kompyuter kashshoflari medali va boshqalar.

Hayoti va ish faoliyati

tahrir

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. [1]

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.[2]


Mukofotlari

tahrir
  • 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
  1. John Cocke International Business Machines Corporation May 25, 1925 – July 16, 2002[1]
  2. John Cocke [2]