Amir Pnueli ( he, אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli
computer scientist
A computer scientist is a person who is trained in the academic study of computer science.
Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...
and the 1996
Turing Award
The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in compu ...
recipient.
Biography
Pnueli was born in
Nahalal
Nahalal ( he, נַהֲלָל) is a moshav in northern Israel. Covering 8.5 square kilometers, it falls under the jurisdiction of the Jezreel Valley Regional Council. In it had a population of .
Nahalal is best known for its general layout, as d ...
, in the
British Mandate of Palestine British Mandate of Palestine or Palestine Mandate most often refers to:
* Mandate for Palestine: a League of Nations mandate under which the British controlled an area which included Mandatory Palestine and the Emirate of Transjordan.
* Mandatory P ...
(now in
Israel
Israel (; he, יִשְׂרָאֵל, ; ar, إِسْرَائِيل, ), officially the State of Israel ( he, מְדִינַת יִשְׂרָאֵל, label=none, translit=Medīnat Yīsrāʾēl; ), is a country in Western Asia. It is situated ...
) and received a
Bachelor's degree
A bachelor's degree (from Middle Latin ''baccalaureus'') or baccalaureate (from Modern Latin ''baccalaureatus'') is an undergraduate academic degree awarded by colleges and universities upon completion of a course of study lasting three to six ...
in mathematics from the
Technion in
Haifa
Haifa ( he, חֵיפָה ' ; ar, حَيْفَا ') is the third-largest city in Israel—after Jerusalem and Tel Aviv—with a population of in . The city of Haifa forms part of the Haifa metropolitan area, the third-most populous metropol ...
, and
Ph.D.
A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is ...
in applied
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
from the
Weizmann Institute of Science
The Weizmann Institute of Science ( he, מכון ויצמן למדע ''Machon Vaitzman LeMada'') is a public research university in Rehovot, Israel, established in 1934, 14 years before the State of Israel. It differs from other Israeli unive ...
(1967). 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
Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is consider ...
. His works in computer science focused on
temporal logic In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I ...
and
model checking
In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems ...
, particularly regarding fairness properties of
concurrent systems
In computer science, concurrency is the ability of different parts or units of a program, algorithm, or problem to be executed out-of-order or in partial order, without affecting the outcome. This allows for parallel execution of the concurr ...
.
[.]
He returned to Israel as a researcher; he was the founder and first chair of the computer science department at
Tel Aviv University
Tel Aviv University (TAU) ( he, אוּנִיבֶרְסִיטַת תֵּל אָבִיב, ''Universitat Tel Aviv'') is a public research university in Tel Aviv, Israel. With over 30,000 students, it is the largest university in the country. Locate ...
. He became a professor of computer science at the
Weizmann Institute
The Weizmann Institute of Science ( he, מכון ויצמן למדע ''Machon Vaitzman LeMada'') is a public research university in Rehovot, Israel, established in 1934, 14 years before the State of Israel. It differs from other Israeli univ ...
in 1981. From 1999 until his death, Pnueli also held a position at the Computer Science Department of
New York University
New York University (NYU) is a private research university in New York City. Chartered in 1831 by the New York State Legislature, NYU was founded by a group of New Yorkers led by then-Secretary of the Treasury Albert Gallatin.
In 1832, the ...
,
New York,
U.S.
The United States of America (U.S.A. or USA), commonly known as the United States (U.S. or US) or America, is a country primarily located in North America. It consists of 50 states, a federal district, five major unincorporated territori ...
Pnueli also founded two startup technology companies during his career. He had three children and, at his death, had four grandchildren.
Pnueli died on November 2, 2009 of a
brain hemorrhage
Intracerebral hemorrhage (ICH), also known as cerebral bleed, intraparenchymal bleed, and hemorrhagic stroke, or haemorrhagic stroke, is a sudden bleeding into the tissues of the brain, into its ventricles, or into both. It is one kind of bleed ...
.
Awards and honours
* In 1996, Pnueli received the
Turing Award
The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in compu ...
''for seminal work introducing
temporal logic In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I ...
into computing science and for outstanding contributions to program and systems verification''.
* On May 30, 1997 Pnueli received an
honorary doctorate
An honorary degree is an academic degree for which a university (or other degree-awarding institution) has waived all of the usual requirements. It is also known by the Latin phrases ''honoris causa'' ("for the sake of the honour") or ''ad hon ...
from the Faculty of Science and Technology at
Uppsala University
Uppsala University ( sv, Uppsala universitet) is a public university, public research university in Uppsala, Sweden. Founded in 1477, it is the List of universities in Sweden, oldest university in Sweden and the Nordic countries still in opera ...
,
Sweden
Sweden, formally the Kingdom of Sweden,The United Nations Group of Experts on Geographical Names states that the country's formal name is the Kingdom of SwedenUNGEGN World Geographical Names, Sweden./ref> is a Nordic country located on ...
.
* In 1999, he was inducted as a Foreign Associate of the U.S. National Academy of Engineering.
* In 2000, he was awarded the
Israel Prize
The Israel Prize ( he, פרס ישראל; ''pras israél'') is an award bestowed by the State of Israel, and regarded as the state's highest cultural honor.
History
The Israel Prize is awarded annually, on Israeli Independence Day, in a state cer ...
, for computer science.
* In 2007, he was inducted as a Fellow of the
Association for Computing Machinery
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...
.
* The
Weizmann Institute of Science
The Weizmann Institute of Science ( he, מכון ויצמן למדע ''Machon Vaitzman LeMada'') is a public research university in Rehovot, Israel, established in 1934, 14 years before the State of Israel. It differs from other Israeli unive ...
presents a memorial lecture series in his honou
See also
*
List of important publications in theoretical computer science#Formal verification, Important publications in formal verification
*
List of Israel Prize recipients
This is a complete list of recipients of the Israel Prize from the inception of the Prize in 1953 through to 2022.
List
For each year, the recipients are, in most instances, listed in the order in which they appear on the official Israel Prize ...
References
External links
New York University homepage*
Weizmann Institute homepage*
*
{{DEFAULTSORT:Pnueli, Amir
1941 births
2009 deaths
Fellows of the Association for Computing Machinery
Formal methods people
Israeli Jews
Israeli computer scientists
Israel Prize in computer sciences recipients
Jewish scientists
Members of the Israel Academy of Sciences and Humanities
Courant Institute of Mathematical Sciences faculty
People from Nahalal
Programming language researchers
Technion – Israel Institute of Technology alumni
Tel Aviv University faculty
Theoretical computer scientists
Turing Award laureates
Weizmann Institute of Science faculty
Polytechnic Institute of New York University faculty
Foreign associates of the National Academy of Engineering