WikiDer > Amir Pnueli
Amir Pnueli | |
|---|---|
 | |
| Tug'ilgan | 1941 yil 22 aprel |
| O'ldi | 2009 yil 2-noyabr (68 yosh) |
| Millati | Isroil |
| Mukofotlar | Turing mukofoti (1996) Isroil mukofoti |
| Ilmiy martaba | |
| Maydonlar | Kompyuter fanlari |
| Institutlar | Stenford universiteti Tel-Aviv universiteti Weizmann instituti Nyu-York universiteti |
Amir Pnueli (Ibroniycha: מirir xanuvalli; 1941 yil 22 aprel - 2009 yil 2 noyabr) isroillik edi kompyutershunos va 1996 yil Turing mukofoti oluvchi.
Biografiya
Pnueli yilda tug'ilgan Nahalal, ichida Falastinning Britaniya mandati (hozirda Isroil) va oldi Bakalavr darajasi matematikada Technion yilda Hayfava Ph.D. qo'llanilgan matematika dan Weizmann Ilmiy Instituti. Uning dissertatsiyasi "Okeandagi suv oqimlarini hisoblash" mavzusiga bag'ishlangan. Doktorlikdan keyingi ilmiy ish paytida u kompyuter faniga o'tdi Stenford universiteti. Uning informatika sohasidagi asarlari diqqat markazida vaqtinchalik mantiq va modelni tekshirish, xususan bir vaqtda tizimlar.[1]
U Isroilga tadqiqotchi sifatida qaytib keldi; u informatika kafedrasining asoschisi va birinchi raisi bo'lgan Tel-Aviv universiteti. U kompyuter fanlari professori bo'ldi Weizmann instituti 1981 yilda. 1999 yildan vafotigacha Pnueli Kompyuter fanlari kafedrasida ham ishlagan Nyu-York universiteti, Nyu York, BIZ..[1]
Pnueli, shuningdek, faoliyati davomida ikkita startap texnologiya kompaniyalariga asos solgan. Uning uchta farzandi bor edi va vafot etganida to'rt nevarasi bor edi.[1]
Pnueli 2009 yil 2-noyabrda vafot etdi miyaga qon quyilishi.[1][2][3]
Mukofotlar va sharaflar
- 1996 yilda Pnueli uni oldi Turing mukofoti seminal ish bilan tanishtirish uchun vaqtinchalik mantiq ilm-fanni hisoblash va dastur va tizimlarni tekshirishga qo'shgan ulkan hissasi uchun.
- 1997 yil 30 mayda Pnueli an faxriy doktorlik da joylashgan Fan va Texnologiya fakultetidan Uppsala universiteti, Shvetsiya.[4]
- 1999 yilda u AQSh Milliy muhandislik akademiyasining xorijiy assotsiatsiyasi sifatida qabul qilindi.
- 2000 yilda u mukofotga sazovor bo'ldi Isroil mukofoti, kompyuter fanlari uchun.[5][6]
- 2007 yilda u a'zosi sifatida qabul qilindi Hisoblash texnikasi assotsiatsiyasi.
- The Weizmann Ilmiy Instituti uning sharafiga yodgorlik ma'ruzalari turkumini taqdim etadi.[1]
Shuningdek qarang
Adabiyotlar
- ^ a b v d Chang, Kennet (2009 yil 14-noyabr), "Amir Pnueli, vaqtinchalik mantiq kashshofi, 68 yoshida vafot etdi", The New York Times.
- ^ "NYU informatika professori Amir Pnueli, 68 yosh", Doktor Dobbning, 2009 yil 5-noyabr.
- ^ Nyu-York universiteti professori Amir Pnueli, 68 yosh, taniqli kompyuter olimlari, Nyu-York universiteti Kompyuter fanlari bo'limi, arxivlandi asl nusxasidan 2009 yil 9-noyabrda, olingan 2009-11-08.
- ^ http://www.uu.se/en/about-uu/traditions/prizes/honorary-doctorates/
- ^ "Isroil mukofotining rasmiy sayti (ibroniycha) - Qabul qiluvchining C.V."
- ^ "Isroil mukofotining rasmiy sayti (yahudiy tilida) - Hakamlarning oluvchiga berish uchun asoslari".
