Amir Pnueli
İsim: Amir Pnueli
Doğum: 22 Nisan 1941, Nahalal, İsrail
Ölüm: 2 Kasım 2009 (Yaş: 68)
Bilgisayarla ilgili katkılar
- İsrailli bilgisayar bilimcisi.
- Çalışmalarının konsantrasyonu, özellikle eşzamanlı sistemlerin adalet özellikleri ile ilgili olarak, zamansal mantık ve model kontrolü idi.