Amir Pnueli (born April 22, 1941) is an Israeli computer scientist who received the Turing Award in 1996 for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification. Image File history File links Pr Amir Pnueli, 1996 Turing Award laureate Photograph taken by myself in Paris, France at the VMCAI 05 conference on January 18, 2005 Copyright © 2005 David Monniaux File links The following pages link to this file: Amir Pnueli ... April 22 is the 112th day of the year in the Gregorian calendar (113th in leap years). ... For the movie, see 1941 (film) 1941 (MCMXLI) was a common year starting on Wednesday (the link is to a full 1941 calendar). ... Computer science (informally: CS or compsci) is, in its most general sense, the study of computation and information processing, both in hardware and in software. ... The A.M. Turing Award is given annually by the Association for Computing Machinery to a person selected for contributions of a technical nature made to the computing community. ... 1996 (MCMXCVI) was a leap year starting on Monday of the Gregorian calendar, and was designated the International Year for the Eradication of Poverty. ... In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. ...

Born in Nahalal, Palestine, Pnueli received a Bachelor's degree in Mathematics at the Technion in Haifa, and Ph.D. in applied mathematics from the Weizmann Institute of Science. His thesis was on the topic of "Calculation of Tides in the Ocean". He switched to computer science during a stint as a post-doctoral fellow at Stanford University. He returned to Israel as a researcher and after a sequence of academic appointments became Professor of Computer Science at the Weizmann Institute in 1981. In 1999, Pnueli moved to the Computer Science Department of New York University, New York, USA. Nahalal, a moshav (communal agriculture settlement) in Israels Jezreel Valley was the first moshav established in Israel. ... Palestine (Hebrew: Eretz Israel, Arabic: ‎ FilastÄ«n or FalastÄ«n, see also Land of Israel) is one of many historical names for the region between the Mediterranean Sea and the banks of the Jordan River, plus various adjoining lands to the east and south. ... The examples and perspective in this article or section may not represent a worldwide view. ... The Technion - Israel Institute of Technology (הטכניון - מכון טכנולוגי לישראל) is a university in Haifa, Israel. ... Nickname: Red Haifa Official website: www. ... This article or section does not cite its references or sources. ... Euclid, a famous Greek mathematician known as the father of geometry, is shown here in detail from The School of Athens by Raphael. ... The Weizmann Institute of Science (מכון ויצמן למדע) is an institute of higher learning and research in Rehovot, Israel. ... Stanford redirects here. ... A professor giving a lecture The meaning of the word professor (Latin: one who claims publicly to be an expert) varies. ... 1981 (MCMLXXXI) was a common year starting on Thursday of the Gregorian calendar. ... 1999 (MCMXCIX) was a common year starting on Friday, and was designated the International Year of Older Persons by the United Nations. ... New York University (NYU) is a major research university in New York City. ... Official language(s) None, English de facto Capital Albany Largest city New York City Area  Ranked 27th  - Total 54,520 sq mi (141,205 km²)  - Width 285 miles (455 km)  - Length 330 miles (530 km)  - % water 13. ...

Pnueli has also founded two startup technology companies during his career. He is married with three children and a grandchild.

See also

• Important publications in Formal verification

This is a list of important publications in computer science, organized by field. ...

External links

• New York University home page
  • Short biography
• Weizmann home page
  • Profile