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

I discovered to my joy, that it is life, not death, that has no limits. Gabriel García Márquez