Amir Pnueli, Date of Birth, Place of Birth, Date of Death

Amir Pnueli

Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems

Date of Birth: 22-Apr-1941

Place of Birth: Nahalal, Northern District, Israel

Date of Death: 02-Nov-2009

Profession: engineer, computer scientist, mathematician, pedagogue, university teacher

Nationality: Israel

Zodiac Sign: Taurus

Amir Pnueli (Hebrew: ???? ???????; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.