Amir Pnueli

Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Person human Q92649

Facts

24 properties
Instance of
human
Sex or gender
male[26]
Date of birth
April 22, 1941
Date of death
November 2, 2009
Place of birth
Nahalal
Place of death
New York City
Country of citizenship
Israel[10]
Doctoral advisor
Chaim L. Pekeris[17]
Doctoral student
Dan Zachai, Mordechai Ben-Ari, Nissim Francez, Asher Wilk, Lenore Zuck, Yonit Kesten, Yair Eran, Oded Maler, Orna Lichtenstein, Roni Rosner, Rivka Zarhy-Sherman, Dov Dori, Giora Slutzki, Doron A. Peled, Hillel Kugler, Ofer Strichman, Gera Weiss, Raya Leviathan, Yi Fang, Elad Shahar, Ariel Cohen, Sitvanit Ruah, Ittai Balaban, Uri Klein, Yaniv Sa'ar, Dana Fisman, Shmuel Safra[27][28][29][30][31][32][33][34][35][36][37][38][39][40]
Erdős number
+2[48]
Family name
Pnueli[42]
Given name
Amir[43]
Maintained by WikiProject
WikiProject Mathematics
Manner of death
natural causes[46]
Name in native language
אמיר פנואלי[47]
🏷️ Also known as
en Amir Pnueli ar أمير بنولي de Pnueli fa امیر پنوئلی he אמיר פנואלי ja アミール・プヌーリ ko 아미르 프누엘리 ru Амир Пнуели ru Амир Пнуэли ru Пнуэли, Амир uk Амір Пнуелі zh 阿米尔·伯努利 zh-hant 阿米爾·伯努利
🔖 Identifiers · 32
VIAF cluster ID
59337776
Library of Congress authority ID
n85817647
ACM Digital Library author ID
81100648459
Academic Tree ID
416964
Awards & Winners artist ID
01svgc
BNB person ID (OBSOLETE)
PnueliAmir1941-2009
Bibliothèque nationale de France ID
146146775
DBLP author ID
p/AmirPnueli
DDB person (GND) ID
1076344267
Show all 32 identifiers +20
Encyclopædia Britannica Online ID
biography/Amir-Pnueli
Freebase ID
/m/01svgc
Geni.com profile ID
6000000025859880052
IdRef ID
066852196
JudaicaLink person (GND) ID
1076344267
KBR person ID
13962714
MR Author ID
140450
Mathematics Genealogy Project ID
18997
NL CR AUT ID
xx0013901
NUKAT ID
n94300055
National Academy of Engineering member ID
30512
National Library of Israel J9U ID
987007392321405171
Nationale Thesaurus voor Auteursnamen ID
068748698
Obálky knih ID
xx0013901
Prabook ID
263252
SHARE Catalogue author ID
53228
WikiTree person ID
Pnueli-1
WorldCat Entities ID
E39PBJv8JrGHY4Hkm9tjfKCWjC
ZbMATH author ID
pnueli.amir

Report an error or request removal Lineage (PROV-JSON)

Press Enter · cited answer in seconds

Summary

Amir Pnueli was born on April 22, 1941[1], in Nahalal[2]. He died on November 2, 2009[3], in New York City[4]. He worked as a computer scientist[5], engineer[6], pedagogue[7], university teacher[8], and mathematician[9].

Why It Matters

His notable doctoral advisees include Doron A. Peled[49], a computer scientist[50], b. 1962[51]; Shmuel Safra[52], a computer scientist[53], b. 1960[54], of Israel[55], awarded the Gödel Prize[56]; Mordechai Ben-Ari[57], a computer scientist[58], b. 1948[59], of Israel[60], awarded the ACM Distinguished Member[61]; Dov Dori[62], a computer scientist[63], b. 2000[64], of United States[65], awarded the Fellow of the International Association for Pattern Recognition[66]; Nissim Francez[67], a computer scientist[68], b. 1944[69], of Israel[70], specialised in applied mathematics[71]; and Ofer Strichman[72], a computer scientist[73], b. 1968[74].

FAQs

Where was Amir Pnueli born?

Amir Pnueli was born in Nahalal[2].

Where did Amir Pnueli die?

Amir Pnueli died in New York City[4].

What did Amir Pnueli do for work?

Amir Pnueli worked as a computer scientist[5], engineer[6], pedagogue[7], university teacher[8], and mathematician[9].

Where did Amir Pnueli go to school?

Amir Pnueli was educated at Technion – Israel Institute of Technology[15] and Weizmann Institute of Science[16].

What awards did Amir Pnueli receive?

Honors received include Israel Prize[18], Turing Award[19], ACM Software System Award[20], and ACM Fellow[21].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] ↑ . wikidata.org.
  2. [4] ↑ . wikidata.org.
  3. [26] ↑ . Integrated Authority File. Retrieved . wikidata.org.
  4. [10] ↑ . wikidata.org.
  5. [15] ↑ . wikidata.org.
  6. [16] ↑ . Retrieved . wikidata.org.
  7. [11] ↑ . wikidata.org.
  8. [5] ↑ . Integrated Authority File. Retrieved . wikidata.org.
  9. [6] ↑ . wikidata.org.
  10. [7] ↑ . wikidata.org.
  11. [8] ↑ . wikidata.org.
  12. [9] ↑ . Retrieved . wikidata.org.
  13. [12] ↑ . wikidata.org.
  14. [13] ↑ . Retrieved . wikidata.org.
  15. [14] ↑ . wikidata.org.
  16. [18] ↑ . wikidata.org.
  17. [19] ↑ . wikidata.org.
  18. [20] ↑ . awards.acm.org. awards.acm.org. Provenance: wikidata.org.
  19. [21] ↑ . acm.org. Retrieved . acm.org. Provenance: wikidata.org.
  20. [22] ↑ . Journal officiel de la République française. legifrance.gouv.fr. Provenance: wikidata.org.
  21. [17] ↑ . wikidata.org.
  22. [27] ↑ . wikidata.org.
  23. [28] ↑ . Mathematics Genealogy Project. wikidata.org.
  24. [29] ↑ . Mathematics Genealogy Project. wikidata.org.
  25. [30] ↑ . Mathematics Genealogy Project. wikidata.org.
  26. [31] ↑ . Mathematics Genealogy Project. wikidata.org.
  27. [32] ↑ . Mathematics Genealogy Project. wikidata.org.
  28. [33] ↑ . Mathematics Genealogy Project. wikidata.org.
  29. [34] ↑ . Mathematics Genealogy Project. wikidata.org.
  30. [35] ↑ . Mathematics Genealogy Project. wikidata.org.
  31. [36] ↑ . Mathematics Genealogy Project. wikidata.org.
  32. [37] ↑ . Mathematics Genealogy Project. wikidata.org.
  33. [38] ↑ . Mathematics Genealogy Project. wikidata.org.
  34. [39] ↑ . Mathematics Genealogy Project. wikidata.org.
  35. [40] ↑ . Mathematics Genealogy Project. wikidata.org.
  36. [23] ↑ . wikidata.org.
  37. [24] ↑ . acm.org. Retrieved . acm.org. Provenance: wikidata.org.
  38. [25] ↑ . wikidata.org.
  39. [41] ↑ . wikidata.org.
  40. [1] ↑ . BnF authorities. wikidata.org.
  41. [3] ↑ . BnF authorities. blog.computationalcomplexity.org. Provenance: wikidata.org.
  42. [42] ↑ . wikidata.org.
  43. [43] ↑ . wikidata.org.
  44. [44] ↑ . wikidata.org.
  45. [45] ↑ . wikidata.org.
  46. [46] ↑ . wikidata.org.
  47. [47] ↑ . wikidata.org.
  48. [48] ↑ . wikidata.org.

Inverse relationships (entities pointing at this one)

  1. [49] ↑ . wikidata.org. → on this site
  2. [52] ↑ . wikidata.org. → on this site
  3. [57] ↑ . wikidata.org. → on this site
  4. [62] ↑ . wikidata.org. → on this site
  5. [67] ↑ . wikidata.org. → on this site
  6. [72] ↑ . wikidata.org. → on this site

Inline context (facts about related entities)

  1. [50] ↑ . Wikidata. wikidata.org. → on this site
  2. [51] ↑ . Wikidata. wikidata.org. → on this site
  3. [53] ↑ . Wikidata. wikidata.org. → on this site
  4. [54] ↑ . Wikidata. wikidata.org. → on this site
  5. [55] ↑ . Wikidata. wikidata.org. → on this site
  6. [56] ↑ . Wikidata. wikidata.org. → on this site
  7. [58] ↑ . Wikidata. wikidata.org. → on this site
  8. [59] ↑ . Wikidata. wikidata.org. → on this site
  9. [60] ↑ . Wikidata. wikidata.org. → on this site
  10. [61] ↑ . Wikidata. wikidata.org. → on this site
  11. [63] ↑ . Wikidata. wikidata.org. → on this site
  12. [64] ↑ . Wikidata. wikidata.org. → on this site
  13. [65] ↑ . Wikidata. wikidata.org. → on this site
  14. [66] ↑ . Wikidata. wikidata.org. → on this site
  15. [68] ↑ . Wikidata. wikidata.org. → on this site
  16. [69] ↑ . Wikidata. wikidata.org. → on this site
  17. [70] ↑ . Wikidata. wikidata.org. → on this site
  18. [71] ↑ . Wikidata. wikidata.org. → on this site
  19. [73] ↑ . Wikidata. wikidata.org. → on this site
  20. [74] ↑ . Wikidata. wikidata.org. → on this site

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Amir Pnueli. Retrieved November 3, 2026, from https://4ort.xyz/entity/amir-pnueli
MLA “Amir Pnueli.” 4ort.xyz Knowledge Graph, 4ort.xyz, 3 Nov. 2026, https://4ort.xyz/entity/amir-pnueli.
BibTeX @misc{4ortxyz_amir-pnueli_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Amir Pnueli}}, year = {2026}, url = {https://4ort.xyz/entity/amir-pnueli}, note = {Accessed: 2026-11-03}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Amir Pnueli — https://4ort.xyz/entity/amir-pnueli (retrieved 2026-11-03)

Canonical URL: https://4ort.xyz/entity/amir-pnueli · Last refreshed:

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

  1. 23w ago · Epìdosis · 2026-05-21 view diff on Wikidata ↗
    Birth place → —
    NUKAT ID → n94300055
    Official website → http://www.wisdom.weizmann.ac.il/~amir/
    GND ID → 1076344267
    + 111 other properties edited (see Wikidata diff for full list)
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/32154|batch #32154]]: import P21 and P106 from GND (36)"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.