Amir Pnueli

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.

1941 doğumlular
Nahalal doğumlular
2009 yılında ölenler
İsrailli bilgisayar bilimcileri
Association for Computing Machinery Fellow'ları
Biçimsel yöntemler kişileri
İsrailli Yahudiler
İsrail Ödülü sahipleri
Yahudi bilim insanları
Courant Institute of Mathematical Sciences öğretim üyeleri
Programlama dili araştırmacıları
Technion'da öğrenim görenler
Tel Aviv Üniversitesi öğretim üyeleri
Turing Ödülü sahipleri
Weizmann Enstitüsü öğretim üyeleri