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.

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