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

For life be, after all, only a waitin’ for somethin’ else than what we’re doin’; and death be all that we can rightly depend on. Bram Stoker