Amir Pnueli
| 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 (Ibrani: אמיר פנואלי; 22 April 1941 – 2 November 2009) adalah seorang ilmuwan komputer Israel dan penerima Penghargaan Turing 1996.
Biografi
Pnueli lahir di Nahalal, Palestina Mandat Britania (kini Israel) dan meraih gelar sarjana dalam bidang matematika dari Technion di Haifa, dan Ph.D. dalam bidang matematika terapan dari Institut Sains Weizmann. Tesisnya berjudul "Calculation of Tides in the Ocean". Ia beralih ke ilmu komputer saat menjabat sebagai anggota pasca-doktoral di Universitas Stanford.[1]
Ia pulang ke Israel sebagai peneliti. Ia menjadi pendiri dan ketua pertama jurusan ilmuwan komputer di Universitas Tel Aviv. Ia menjadi profesor ilmu komputer di Institut Weizmann pada 1981. Dari 1999 sampai kematiannya, Pnueli juga menjabat di Jurusan Ilmu Komputer di Universitas 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 akibat pendarahan otak.[1][2][3]
Referensi
- ^ a b c d Chang, Kenneth (November 14, 2009), "Amir Pnueli, Pioneer of Temporal Logic, Dies at 68", The New York Times .
- ^ "NYU Computer Science Professor Amir Pnueli, 68", Dr. Dobb's, November 5, 2009 .
- ^ NYU Professor Amir Pnueli, 68, Distinguished Computer Scientist, New York University Computer Science Department, diarsipkan dari versi asli tanggal 9 November 2009, diakses tanggal 2009-11-08 Parameter
|url-status=yang tidak diketahui akan diabaikan (bantuan).
Pranala luar
- New York University homepage
- Short biography
- Weizmann Institute homepage
- Profile
- Amir Pnueli pada DBLP Bibliography Server
Pengawasan otoritas  | |
|---|---|
| Umum |
|
| Perpustakaan nasional |
|
| Basis data ilmiah |
|
| Lain-lain |
|
