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.
John Cocke | |
---|---|
Tavalludi |
John Cocke 30-may 1925-yil Charlotte, Shimoliy Karolina , AQSH |
Vafoti |
16-iyul 2002-yil (77 yoshda) New York |
Fuqaroligi | AQSh |
Taʼlimi | Duke universiteti |
Kasbi | Amerikalik matematik va kompyuter olimi |
Mukofotlari | Turing mukofoti, kompyuter kashshoflari medali va boshqalar. |
Hayoti va ish faoliyati
tahrirJohn 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