Amir Pnueli

Name: 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.