Amir Pnueli | |
---|---|
![]() | |
Lahir | (1941-04-22)22 April 1941 Nahalal,Israel |
Meninggal | 2 November 2009(2009-11-02) (umur 68) New York,Amerika Serikat |
Kebangsaan | Israel |
Penghargaan | Penghargaan Turing(1996) Penghargaan Israel |
Karier ilmiah | |
Bidang | Ilmu komputer |
Institusi | Universitas Stanford Universitas Tel Aviv Institut Weizmann Universitas New York |
Amir Pnueli (bahasa Ibrani:אמיר פנואלי; 22 April 1941 – 2 November 2009) adalah seorangilmuwan komputer Israel dan penerimaPenghargaan Turing 1996.
Pnueli lahir diNahalal,Palestina Mandat Britania (kiniIsrael) dan meraihgelar sarjana dalam bidang matematika dariTechnion diHaifa, danPh.D. dalam bidangmatematika terapan dariInstitut Sains Weizmann. Tesisnya berjudul "Calculation of Tides in the Ocean". Ia beralih ke ilmu komputer saat menjabat sebagai anggota pasca-doktoral diUniversitas Stanford.[1]
Ia pulang ke Israel sebagai peneliti. Ia menjadi pendiri dan ketua pertama jurusan ilmuwan komputer diUniversitas Tel Aviv. Ia menjadi profesor ilmu komputer diInstitut Weizmann pada 1981. Dari 1999 sampai kematiannya, Pnueli juga menjabat di Jurusan Ilmu Komputer diUniversitas New York,New York,Amerika Serikat.[1]
Pnueli juga mendirikan dua perusahaan teknologi rintisan pada masa karirnya. Ia memiliki tiga anak dan empat cucu.[1]
Pnueli meninggal pada 2 November 2009 akibatpendarahan otak.[1][2][3]
|url-status=
yang tidak diketahui akan diabaikan (bantuan).