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
Ödüller Turing Ödülü (1996)
Bilimsel kariyeri
Dalı Bilgisayar bilimi
Çalıştığı kurumlar Stanford Ü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.