Amir Pnueli

Updated: 09/15/2017 by Computer Hope

Amir PnueliName: Amir Pnueli

Born: April 22, 1941, in Nahalal, Israel

Death: November 2, 2009 (Age: 68)

Computer-related contributions

  • Israeli computer scientist.
  • His concentration of studies was temporal logic and model checking, particularly regarding fairness properties of concurrent systems.