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

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

It takes a long time to become young. Pablo Picasso