Amir Pnueli

Vikipedi, ozgur ansiklopedi
Amir Pnueli
Do?um 22 Nisan 1941 ( 1941-04-22 )
Nahalal , Filistin Mandası
Olum 2 Kasım 2009 (68 ya?ında)
New York , ABD
Oduller Turing Odulu (1996)
Kariyeri
Dalı Bilgisayar bilimi
Calı?tı?ı kurumlar Stanford Universitesi
Tel Aviv Universitesi
Weizmann Enstitusu
New York Universitesi

Amir Pnueli (22 Nisan 1941 - 2 Kasım 2009), ?srailli bilgisayar bilimcisi . Technion Matematik Bolumu'nden mezun olduktan sonra Weizmann Enstitusu 'nde uygulamalı matematik o?renimi gormu?tur. Zamansal mantık ve model denetimi konulu calı?malarıyla bilinen Pnueli 1996 yılında Turing Odulu 'nu almaya hak kazanmı?tır.