Amir Pnueli | |
|---|---|
 | |
| Lahir | (1941-04-22)22 April 1941 |
| Meninggal | 2 November 2009(2009-11-02) (umur 68) |
| Karier ilmiah | |
| Bidang | Ilmu komputer |
| Tempat kerja | Universitas Stanford Universitas Tel Aviv Institut Weizmann Universitas New York |
Amir Pnueli (bahasa 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 kariernya. Ia memiliki tiga anak dan empat cucu.[1]
Pnueli meninggal pada 2 November 2009 akibat pendarahan otak.[1][2][3]
Referensi
- 1 2 3 4 Chang, Kenneth (November 14, 2009), "Amir Pnueli, Pioneer of Temporal Logic, Dies at 68", The New York Times
{{citation}}: Pemeliharaan CS1: Tanggal diterjemahkan otomatis (link). - ↑ "NYU Computer Science Professor Amir Pnueli, 68", Dr. Dobb's, November 5, 2009
{{citation}}: Pemeliharaan CS1: Tanggal diterjemahkan otomatis (link). - ↑ NYU Professor Amir Pnueli, 68, Distinguished Computer Scientist, New York University Computer Science Department, diarsipkan dari versi aslinya tanggal 9 November 2009, diakses tanggal 2009-11-08
{{citation}}: Pemeliharaan CS1: Tanggal diterjemahkan otomatis (link).
Pranala luar
- New York University homepage
- Weizmann Institute homepage
- Amir Pnueli pada DBLP Bibliography Server
