Amir Pnueli

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

Born April 22nd, 1941 in Nahalal.

Died November 2nd, 2009 at 68 years old in New York City (cerebral hemorrhage). [ref]

Occupations
computer scientist, engineer, mathematician, pedagogue, university teacher
Website
www.wisdom.weizmann.ac.il/~amir/
Wikipedia
Amir_Pnueli

Man always thinks about the past before he dies, as if he were frantically searching for proof that he truly lived. Jet Black