Welcome! Check out today's deaths, recent deaths, or our deaths stats.

Feeling experimental? Head on over to our newest (and darkest) feature: Next-2-Die™ predictions

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
Wikipedia

The hardest thing you overcome are the ones that give the most meaning. Maxime Lagacé