Amir Pnueli

[bullvar_katip]

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 yılında ö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 Kategorirogramlama 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