Award
Israel Prize
Source: Wikidata population candidate Q92649 · wikidata
SACRED LEGACY ARCHIVES™
Amir Pnueli
1941-04-22 – 2009-11-02
Life & Legacy
Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient. He introduced the use of temporal logic to reason about programs in computer science.
Occupation & Career
computer scientist, engineer, pedagogue, university teacher, mathematician
Education
Technion – Israel Institute of Technology; Weizmann Institute of Science
Accomplishments, Inventions & Publications
Israel Prize; Turing Award; ACM Software System Award; ACM Fellow; honorary doctorate from Joseph Fourier University
Legacy Highlights
Honors & Awards
ACM Fellow · ACM Software System Award · honorary doctorate from Joseph Fourier University · Israel Prize · Turing Award
Employer
New York University · New York University Tandon School of Engineering · Tel Aviv University
Organizations & Memberships
Association for Computing Machinery · Israel Academy of Sciences and Humanities · National Academy of Engineering
Education & Institutions
Technion – Israel Institute of Technology · Weizmann Institute of Science
Verified Legacy Record
Award
Turing Award
Source: Wikidata population candidate Q92649 · wikidata
Award
ACM Software System Award
Source: Wikidata population candidate Q92649 · wikidata
Award
ACM Fellow
Source: Wikidata population candidate Q92649 · wikidata
Award
honorary doctorate from Joseph Fourier University
Source: Wikidata population candidate Q92649 · wikidata
Sources & Provenance
- Wikidata population candidate Q92649 — wikidata View source
Are you related to Amir Pnueli?
Family members can contribute records, photographs and stories or request stewardship of this legacy.