Tolong jelaskan mengenai Amir Pnueli

Amir Pnueli (; ) adalah seorang ilmuwan komputer Israel dan penerima Penghargaan Turing 1996.

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.

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.

Pnueli juga mendirikan dua perusahaan teknologi rintisan pada masa karirnya. Ia memiliki tiga anak dan empat cucu.

Pnueli meninggal pada 2 November 2009 akibat pendarahan otak.