Ask the Chatbot Games & Quizzes ProCon History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture 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
New York NY/ USA- November 23, 2018 Hordes of shoppers throng the Macy's Herald Square flagship store in New York looking for bargains on the day after Thanksgiving, Black Friday.
Why Is It Called Black Friday?
Super Typhoon Noru over the western tropical Pacific Ocean as observed by the Moderate Resolution Imaging Spectroradiometer (MODIS) on NASA Aqua satellite July 31 2017
What Is the Difference Between a Typhoon and a Super Typhoon?
Woman tied to a ducking stool, a method of punishment by means of humiliation, beating, or death. (cucking stool)
8 Unusual Punishments Inflicted on Women Throughout History
Mayer Amschel Rothschild (1744-1855), founder of the house of Rothschild; lithograph by Friedrich Lieder, c. 1830.
Where Do Anti-Semitic Conspiracy Theories About the Rothschild Family Come From?
Iraqi Army Soldiers from the 9th Mechanized Division learning to operate and maintain M1A1 Abrams Main Battle Tanks at Besmaya Combat Training Center, Baghdad, Iraq, 2011. Military training. Iraq war. U.S. Army
8 Deadliest Wars of the 21st Century
Baseball laying in the grass. Homepage blog 2010, arts and entertainment, history and society, sports and games athletics
10 Greatest Baseball Players of All Time
Leonardo da Vinci (1452-1519), Italian Renaissance painter from Florence. Engraving by Cosomo Colombini (d. 1812) after a Leonardo self portrait. Ca. 1500.
10 Famous Artworks by Leonardo da Vinci

Amir Pnueli

Israeli computer scientist
verifiedCite
While every effort has been made to follow citation style rules, there may be some discrepancies. Please refer to the appropriate style manual or other sources if you have any questions.
Select Citation Style
Share
Share to social media
URL
https://www.britannica.com/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 as a senior researcher in the department of applied mathematics at the Weizmann Institute. In 1973 he moved to Tel Aviv University, where he founded the school’s department of computer science, and in 1981 he returned to the Weizmann Institute.

In 1971 Pnueli cofounded the software company Mini-Systems. When it was acquired by the Scitex Corporation in 1984, he cofounded AdCad (now i-Logix), a developer of computer-aided engineering software.

computer chip. computer. Hand holding computer chip. Central processing unit (CPU). history and society, science and technology, microchip, microprocessor motherboard computer Circuit Board
Britannica Quiz
Computers and Technology Quiz

Pnueli is the author, with Zohar Manna, of The Temporal Logic of Reactive and Concurrent Systems: Specification (1991) and Temporal Verification of Reactive Systems: Safety (1995).

William L. Hosch