Ask the Chatbot Games & Quizzes History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture ProCon Money Videos
Amir Pnueli
Table of Contents
Introduction References & Edit History Quick Facts & Related Topics
Quizzes
computer chip. computer. Hand holding computer chip. Central processing unit (CPU). history and society, science and technology, microchip, microprocessor motherboard computer Circuit Board
Computers and Technology Quiz
Related Questions
Read Next
Internet http://www blue screen. Hompepage blog 2009, history and society, media news television, crowd opinion protest, In the News 2009, breaking news
Who Invented the Internet?
Technical insides of a desktop computer
5 Components of Information Systems
bunch of numbers
Unusual Counting Systems
Programming computer abstract
Influential Computer Programming Languages
number zero, 0 balloon
Is Zero an Even or an Odd Number?
Discover
Four year old boy with grandfather and father lighting Hanukkah menorah. Photo taken on: December 21st, 2009
Which Is Correct: Hanukkah or Chanukah?
Scottish fold cat. A genetic mutation caused (in the original cat-1961) the ears to bend forward and down.
Shorthair Cat Breeds
Colorful winter sunset
What's the Difference Between a Solstice and an Equinox?
Watergate scandal. Richard M. Nixon. President Nixon gives a press conference and talks to the press, March 12, 1971.
9 American Political Scandals
The Jeff Koons tulips sculputure outside the Guggenheim Museums in Bilbao, Spain, Basque Country.
What’s the Difference Between Modern and Contemporary Art?
A mug shot taken by the regional Colombia control agency in Medellin
Pablo Escobar: 8 Interesting Facts About the King of Cocaine
Ahura Mazda - relief of the Zoroastrian god Ahura Mazda at the ancient ruins of Persepolis in Iran. Also known as Ormazd Zoroastrianism,
Which Religion Is the Oldest?

Amir Pnueli

Israeli computer scientist
Share
Share to social media
URL
https://mainten.top/biography/Amir-Pnueli
Feedback
Corrections? Updates? Omissions? Let us know if you have suggestions to improve this article (requires login).
Thank you for your feedback

Our editors will review what you’ve submitted and determine whether to revise the article.

External Websites
Written by
William L. Hosch
William L. Hosch was an editor at Encyclopædia Britannica.
William L. Hosch
Fact-checked by
The Editors of Encyclopaedia Britannica
Encyclopaedia Britannica's editors oversee subject areas in which they have extensive knowledge, whether from years of experience gained by working on that content or via study for an advanced degree. They write new content and verify and edit content received from contributors.
The Editors of Encyclopaedia Britannica
Last Updated: • Article History
Quick Facts
Born:
April 22, 1941, Nahalal, Palestine [now Israel]
Died:
Nov. 2, 2009, New York, N.Y., U.S. (aged 68)
Awards And Honors:
Turing Award (1996)
See all related content

Amir Pnueli (born April 22, 1941, Nahalal, Palestine [now Israel]—died Nov. 2, 2009, New York, N.Y., U.S.) was an Israeli computer scientist and winner of the 1996 A.M. Turing Award, the highest honour in computer science, for “seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification.” Pnueli received a bachelor’s degree in mathematics from the Israel Institute of Technology and a doctorate (1967) in mathematics from the Weizmann Institute of Science. He switched to computer science as a postdoctoral fellow at Stanford University and IBM’s Watson Research Center. Pnueli returned to Israel ...(100 of 180 words)

Access the full article
Help support true facts by becoming a member.