Ask the Chatbot Games & Quizzes History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture ProCon Money Videos
Amir Pnueli
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
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

Amir Pnueli

Israeli computer scientist
Written by
William L. Hosch
William L. Hosch was an editor at Encyclopædia Britannica.
William L. Hosch
Fact-checked by
Britannica Editors
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....
Britannica Editors
Last updated
•History

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...

Discover the world with Britannica

Subscribe to Continue Reading

Free Trial | No Ads | Exclusive Content
Explore Subscriptions
DNA
Right
Mobile