Image by falco on Pixabay · Pixabay License
Amir Pnueli
Sign in to saveIsraeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
OverviewAI-generated
Amir Pnueli was an Israeli computer scientist, engineer, pedagogue and university teacher, born on 22 April 1941 in Nahalal. He was educated at the Technion – Israel Institute of Technology and the Weizmann Institute of Science, where his doctoral advisor was Chaim L. Pekeris; his own doctoral student was Shmuel Safra. He held an Erdős number of 2.
Pnueli worked for New York University, Tel Aviv University and the New York University Tandon School of Engineering, and belonged to the Israel Academy of Sciences and Humanities, the Association for Computing Machinery and the National Academy of Engineering. He received the Israel Prize, the Turing Award and the ACM Software System Award, and was an ACM Fellow. He died on 2 November 2009 in New York City of a cerebral hemorrhage, from natural causes. He is recognised in the Turing Award and Israel Prize collections.
Synthesized by Vinony from 26 facts across 3 sources: Wikidata, Open Library, Vinony collections. Generated from structured data (not the Wikipedia text) and checked against those facts — may still contain errors.
Person · Open Library
- Works
- 7
Top works
- Compositionality : the Significant Difference
- Hybrid Systems : Computation and Control
- Temporal Logic in Specification
- Hybrid systems
- Verification of Sequential and Concurrent Programs
via Open Library + Wikidata
Key facts
- Born
- ( 1941-04-22 ) April 22, 1941, Nahalal , Mandate for Palestine
- Died
- 2 November 2009 (2009-11-02) (aged 68), New York , United States
- Education
- Israel Institute of Technology ( BS ), Weizmann Institute of Science ( MS , PhD )
- Awards
- Turing Award (1996) , Israel Prize
- Fields
- Computer Science
- Institutions
- Tel Aviv University , Weizmann Institute , New York University , University of Pennsylvania , Stanford University
- Doctoral students
- Mordechai Ben-Ari Dana Fisman Nissim Francez Doron A. Peled Ofer Strichman Lenore Zuck
via Wikipedia infobox
Wikidata facts
- Instance of
- human
- Given name
- Amir
- Gender
- male
- Citizenship
- Israel
- Place of birth
- Nahalal
- Place of death
- New York City
- Occupation
- mathematician
- Educated at
- Weizmann Institute of Science
- Doctoral advisor
- Chaim L. Pekeris
- Doctoral student
- Shmuel Safra
- Field of work
- computer science
- Official website
- www.wisdom.weizmann.ac.il/~amir
- Image
- Amir Pnueli.jpg
- Work location
- Weizmann Institute of Science
Show 9 more facts
- Commons category
- Amir Pnueli
- date of birth
- 1941-04-22
- date of death
- 2009-11-02
- member of
- National Academy of Engineering
- Erdős number
- 2
- manner of death
- natural causes
- cause of death
- cerebral hemorrhage
- name in native language
- אמיר פנואלי
- maintained by WikiProject
- WikiProject Mathematics
Sources (5)
via Wikidata · CC0
~2 min read
Encyclopedic overview
Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
Biography
Excerpted from Wikipedia’s “Amir Pnueli” article, available under the CC BY-SA 4.0 licence.