Amir Pnueli

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla
Amir Pnueli
Amir Pnueli.jpg
Doğum 22 Nisan 1941(1941-04-22)
Nahalal, Filistin Mandası
Ölüm 2 Kasım 2009 (68 yaşında)
New York, ABD
Dalı Bilgisayar bilimi
Çalıştığı yerler Stanford Üniversitesi
Tel Aviv Üniversitesi
Weizmann Enstitüsü
New York Üniversitesi
Aldığı ödüller Turing Ödülü (1996)

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.