Amir Pnueli

Amir Pnueli was an Israeli computer scientist and the 1996 Turing Award recipient. He introduced the use of temporal logic to reason about programs in computer science.

Summary from Wikipedia (CC BY-SA 4.0) · Dates from Wikidata (CC0)

Who was born first?

• Amir Pnueli and Jules A. Hoffmann were born the same year
• Amir Pnueli and Karl Barry Sharpless were born the same year
• Amir Pnueli and Joseph Hooton Taylor were born the same year
• Amir Pnueli and Martin Evans were born the same year
• Amir Pnueli and John E. Walker were born the same year

Timeline

1. Amir Pnueli (this page)April 22, 1941 – November 2, 2009
2. John E. WalkerJanuary 7, 1941 – present
3. Joseph Hooton TaylorMarch 29, 1941 – present
4. Jules A. HoffmannAugust 2, 1941 – present
5. Karl Barry SharplessApril 28, 1941 – present
6. Martin EvansJanuary 1, 1941 – present

Related

• Isaac NewtonDecember 25, 1642 – March 20, 1727
• Johann Wolfgang von GoetheAugust 28, 1749 – March 22, 1832
• Immanuel KantApril 22, 1724 – February 12, 1804
• René DescartesMarch 31, 1596 – February 11, 1650
• Marie CurieNovember 7, 1867 – July 4, 1934
• Nicolaus CopernicusFebruary 19, 1473 – May 24, 1543
• Louis PasteurDecember 27, 1822 – September 28, 1895
• Gottfried Wilhelm LeibnizJune 21, 1646 – November 14, 1716