CNET: Amir Pnueli, pioneer of temporal logic, dies at 68
- #news
- #headline
Figure timeline
Amir Pnueli
Amir Pnueli was an Israeli computer scientist and the 1996 Turing Award recipient.
Text from Wikipedia, available under CC BY-SA 4.0.
science · Israeli computer scientist · computer scientist · engineer · pedagogue · university teacher · mathematician · also Amir Pnueli, Pnueli
Born 22 April 1941 · Died 2 November 2009 · Q92649
13 published statements · 0 followers
See & hear
Photos & media
1 photos
Media from Wikimedia Commons, hotlinked at the source under its own licence — see each file for author and terms.
Live now
In the news
Pulling headlines from trusted outlets — this usually takes a few seconds
Checking the wires…
Feed scan
These are live links, not archived citations — they only join the timeline once a collect run verifies and archives them.
Live pulse
Recent highlights
Most recent outstanding titles, awards, and quotes
- Award
- Award
2009· 2 entries
Died 2009-11-02.
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #death
2007· 3 entries
Awarded ACM Software System Award (2007).
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #award
- #achievement
Awarded ACM Fellow (2007).
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #award
- #achievement
Was inducted as a Fellow of the Association for Computing Machinery
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event
2000· 2 entries
Awarded Israel Prize (2000).
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #award
- #achievement
Was awarded the Israel Prize, for computer science
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event
1999· 1 entry
Was inducted as a Foreign Associate of the U
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event
1998· 1 entry
Awarded honorary doctorate from Joseph Fourier University (1998).
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #award
- #achievement
1997· 1 entry
Pnueli received an honorary doctorate from the Faculty of Science and Technology at Uppsala University, Sweden
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event
1996· 2 entries
Awarded Turing Award (1996).
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #award
- #achievement
Pnueli received the Turing Award for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event
1941· 1 entry
Born 1941-04-22.
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #birth