Amir Pnueli

Amir Pnueli

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.

Media użyte na tej stronie

Amir Pnueli.jpg
Autor: David Monniaux, Licencja: CC BY-SA 1.0
Pr Amir Pnueli, 1996 Turing Award laureate