İçeriğe atla

Amir Pnueli

Vikipedi, özgür ansiklopedi
Amir Pnueli
Doğum22 Nisan 1941(1941-04-22)
Nahalal, Filistin Mandası
Ölüm2 Kasım 2009 (68 yaşında)
New York, ABD
ÖdüllerTuring Ödülü (1996)
Kariyeri
DalıBilgisayar bilimi
Çalıştığı kurumlarStanford Üniversitesi
Tel Aviv Üniversitesi
Weizmann Enstitüsü
New York Üniversitesi

Amir Pnueli (22 Nisan 1941 - 2 Kasım 2009), İsrailli bilgisayar bilimcisi. Technion Matematik Bölümü'nden mezun olduktan sonra Weizmann Enstitüsü'nde uygulamalı matematik öğrenimi görmüştür. Zamansal mantık ve model denetimi konulu çalışmalarıyla bilinen Pnueli 1996 yılında Turing Ödülü'nü almaya hak kazanmıştır.