Amir Pnueli
izraelski informatyk
Amir Pnueli (ur. 22 kwietnia 1941 w Nahalal, Izrael, zm. 2 listopada 2009) – informatyk, laureat nagrody Turinga w 1996 za wprowadzenie logiki temporalnej do informatyki oraz znaczący wkład w weryfikację systemów i programów.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0e/Amir_Pnueli.jpg/200px-Amir_Pnueli.jpg)