Amir Pnueli
Amir Pnueli (urodzony 22 kwietnia 1941 w Nahalal, Izrael, zmarły 2 listopada 2009) był informatykiem, który otrzymał nagrodę Turinga w 1996 roku za swoje osiągnięcia w zakresie logiki temporalnej oraz za istotny wkład w dziedzinę weryfikacji systemów i programów.
