Amir Pnueli

Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Person human Q92649
Press Enter · cited answer in seconds

Amir Pnueli

Summary

Amir Pnueli is a human[1]. Born in Nahalal[2], he… he was born on April 22, 1941[3]. He died in New York City[4]. He died on November 2, 2009[5]. He worked as a computer scientist[6], engineer[7], pedagogue[8], university teacher[9], and mathematician[10]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (82 views/month, #7,280 of 1,000,298).[11]

Key Facts

  • Born in Nahalal[2], Amir Pnueli…
  • Amir Pnueli died in New York City[4].
  • Amir Pnueli was born on April 22, 1941[3].
  • Amir Pnueli died on November 2, 2009[5].
  • Amir Pnueli held citizenship in Israel[12].
  • Amir Pnueli's professions included computer scientist[6].
  • Amir Pnueli's professions included engineer[7].
  • Amir Pnueli worked as a pedagogue[8].
  • Amir Pnueli worked as a university teacher[9].
  • Amir Pnueli's professions included mathematician[10].
  • Amir Pnueli's field of work was computer science[13].
  • Amir Pnueli was employed by New York University[14].
  • Among Amir Pnueli's employers was Tel Aviv University[15].
  • Amir Pnueli was employed by New York University Tandon School of Engineering[16].
  • Amir Pnueli's education included a stint at Technion – Israel Institute of Technology[17].
  • Amir Pnueli was educated at Weizmann Institute of Science[18].
  • Amir Pnueli's doctoral advisor was Chaim L. Pekeris[19].
  • Amir Pnueli received the Israel Prize[20].
  • Amir Pnueli received the Turing Award[21].
  • Amir Pnueli received the ACM Software System Award[22].
  • Amir Pnueli received the ACM Fellow[23].
  • Amir Pnueli received the honorary doctorate from Joseph Fourier University[24].
  • Amir Pnueli was a member of Israel Academy of Sciences and Humanities[25].
  • Amir Pnueli was a member of Association for Computing Machinery[26].
  • Amir Pnueli was a member of National Academy of Engineering[27].

Body

Origins and Family

Amir Pnueli was born in Nahalal[2]. He was born on April 22, 1941[3].

Education

Educated at Technion – Israel Institute of Technology[17], a university[28], in Israel[29], founded in 1924[30], headquartered in Haifa[31] and Weizmann Institute of Science[18], an institute[32], in Israel[33], founded in 1934[34]. Amir Pnueli's doctoral advisor was Chaim L. Pekeris[19].

Career and Affiliations

Recorded occupations include computer scientist[6], engineer[7], pedagogue[8], university teacher[9], and mathematician[10]. Amir Pnueli's field of work was computer science[13]. Employers include New York University[14], a private university[35], in United States[36], founded in 1831[37], headquartered in New York City[38]; Tel Aviv University[15], a public university[39], in Israel[40], founded in 1956[41], headquartered in Tel Aviv[42]; and New York University Tandon School of Engineering[16], a university[43], in United States[44], founded in 1854[45]. Doctoral students include Dan Zachai[46], a psychologist[47], b. 1939[48], of Israel[49], awarded the The EMET Prize for Art, Science and Culture[50], specialised in cognitive psychology[51]; Mordechai Ben-Ari[52], a computer scientist[53], b. 1948[54], of Israel[55], awarded the ACM Distinguished Member[56]; Nissim Francez[57], a computer scientist[58], b. 1944[59], of Israel[60], specialised in applied mathematics[61]; Asher Wilk[62]; Lenore Zuck[63], a computer scientist[64], b. 1958[65]; and Yonit Kesten[66], a computer scientist[67].

Recognition

Awards received include Israel Prize[20], an award[68], in Israel[69], founded in 1953[70]; Turing Award[21], a science award[71], in United States[72], founded in 1966[73]; ACM Software System Award[22], a science award[74], founded in 1983[75]; ACM Fellow[23], a fellowship award[76]; and honorary doctorate from Joseph Fourier University[24], an award[77], in France[78].

Death and Burial

Amir Pnueli died on November 2, 2009[5]. He died in New York City[4]. The cause of death was cerebral hemorrhage[79].

Why It Matters

Amir Pnueli ranks in the top 0.73% of human entities by monthly Wikipedia readership (82 views/month, #7,280 of 1,000,298).[11] He has Wikipedia articles in 20 language editions, a strong signal of global cultural recognition.[80] He is known by 3 alternative names across languages and contexts.[81]

His notable doctoral advisees include Shmuel Safra[82], a computer scientist[83], b. 1960[84], of Israel[85], awarded the Gödel Prize[86]; Mordechai Ben-Ari[87], a computer scientist[88], b. 1948[89], of Israel[90], awarded the ACM Distinguished Member[91]; Nissim Francez[92], a computer scientist[93], b. 1944[94], of Israel[95], specialised in applied mathematics[96]; Dov Dori[97], a computer scientist[98], b. 2000[99], of United States[100], awarded the Fellow of the International Association for Pattern Recognition[101]; Ofer Strichman[102], a computer scientist[103], b. 1968[104]; and Lenore Zuck[105], a computer scientist[106], b. 1958[107].

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 computer scientist[6], engineer[7], pedagogue[8], university teacher[9], and mathematician[10].

Where did Amir Pnueli go to school?

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

What awards did Amir Pnueli receive?

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

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. [12] ↑ . wikidata.org.
  4. [17] ↑ . wikidata.org.
  5. [18] ↑ . Retrieved . wikidata.org.
  6. [13] ↑ . wikidata.org.
  7. [6] ↑ . wikidata.org.
  8. [7] ↑ . wikidata.org.
  9. [8] ↑ . wikidata.org.
  10. [9] ↑ . wikidata.org.
  11. [10] ↑ . Retrieved . wikidata.org.
  12. [14] ↑ . wikidata.org.
  13. [15] ↑ . Retrieved . wikidata.org.
  14. [16] ↑ . wikidata.org.
  15. [20] ↑ . wikidata.org.
  16. [21] ↑ . wikidata.org.
  17. [22] ↑ . awards.acm.org. awards.acm.org. Provenance: wikidata.org.
  18. [23] ↑ . acm.org. Retrieved . acm.org. Provenance: wikidata.org.
  19. [24] ↑ . Journal officiel de la République française. legifrance.gouv.fr. Provenance: wikidata.org.
  20. [19] ↑ . wikidata.org.
  21. [46] ↑ . wikidata.org.
  22. [52] ↑ . Mathematics Genealogy Project. wikidata.org.
  23. [57] ↑ . Mathematics Genealogy Project. wikidata.org.
  24. [62] ↑ . Mathematics Genealogy Project. wikidata.org.
  25. [63] ↑ . Mathematics Genealogy Project. wikidata.org.
  26. [66] ↑ . Mathematics Genealogy Project. wikidata.org.
  27. [25] ↑ . wikidata.org.
  28. [26] ↑ . acm.org. Retrieved . acm.org. Provenance: wikidata.org.
  29. [27] ↑ . wikidata.org.
  30. [79] ↑ . wikidata.org.
  31. [3] ↑ . BnF authorities. wikidata.org.
  32. [5] ↑ . BnF authorities. blog.computationalcomplexity.org. Provenance: wikidata.org.

Inverse relationships (entities pointing at this one)

  1. [82] ↑ . wikidata.org. → on this site
  2. [87] ↑ . wikidata.org. → on this site
  3. [92] ↑ . wikidata.org. → on this site
  4. [97] ↑ . wikidata.org. → on this site
  5. [102] ↑ . wikidata.org. → on this site
  6. [105] ↑ . wikidata.org. → on this site

Inline context (facts about related entities)

  1. [28] ↑ . Wikidata. wikidata.org. → on this site
  2. [29] ↑ . Wikidata. wikidata.org. → on this site
  3. [30] ↑ . Wikidata. wikidata.org. → on this site
  4. [31] ↑ . Wikidata. wikidata.org. → on this site
  5. [32] ↑ . Wikidata. wikidata.org. → on this site
  6. [33] ↑ . Wikidata. wikidata.org. → on this site
  7. [34] ↑ . Wikidata. wikidata.org. → on this site
  8. [35] ↑ . Wikidata. wikidata.org. → on this site
  9. [36] ↑ . Wikidata. wikidata.org. → on this site
  10. [37] ↑ . Wikidata. wikidata.org. → on this site
  11. [38] ↑ . Wikidata. wikidata.org. → on this site
  12. [39] ↑ . Wikidata. wikidata.org. → on this site
  13. [40] ↑ . Wikidata. wikidata.org. → on this site
  14. [41] ↑ . Wikidata. wikidata.org. → on this site
  15. [42] ↑ . Wikidata. wikidata.org. → on this site
  16. [43] ↑ . Wikidata. wikidata.org. → on this site
  17. [44] ↑ . Wikidata. wikidata.org. → on this site
  18. [45] ↑ . Wikidata. wikidata.org. → on this site
  19. [68] ↑ . Wikidata. wikidata.org. → on this site
  20. [69] ↑ . Wikidata. wikidata.org. → on this site
  21. [70] ↑ . Wikidata. wikidata.org. → on this site
  22. [71] ↑ . Wikidata. wikidata.org. → on this site
  23. [72] ↑ . Wikidata. wikidata.org. → on this site
  24. [73] ↑ . Wikidata. wikidata.org. → on this site
  25. [74] ↑ . Wikidata. wikidata.org. → on this site
  26. [75] ↑ . Wikidata. wikidata.org. → on this site
  27. [76] ↑ . Wikidata. wikidata.org. → on this site
  28. [77] ↑ . Wikidata. wikidata.org. → on this site
  29. [78] ↑ . Wikidata. wikidata.org. → on this site
  30. [47] ↑ . Wikidata. wikidata.org. → on this site
  31. [48] ↑ . Wikidata. wikidata.org. → on this site
  32. [49] ↑ . Wikidata. wikidata.org. → on this site
  33. [50] ↑ . Wikidata. wikidata.org. → on this site
  34. [51] ↑ . Wikidata. wikidata.org. → on this site
  35. [53] ↑ . Wikidata. wikidata.org. → on this site
  36. [54] ↑ . Wikidata. wikidata.org. → on this site
  37. [55] ↑ . Wikidata. wikidata.org. → on this site
  38. [56] ↑ . Wikidata. wikidata.org. → on this site
  39. [58] ↑ . Wikidata. wikidata.org. → on this site
  40. [59] ↑ . Wikidata. wikidata.org. → on this site
  41. [60] ↑ . Wikidata. wikidata.org. → on this site
  42. [61] ↑ . Wikidata. wikidata.org. → on this site
  43. [64] ↑ . Wikidata. wikidata.org. → on this site
  44. [65] ↑ . Wikidata. wikidata.org. → on this site
  45. [67] ↑ . Wikidata. wikidata.org. → on this site
  46. [83] ↑ . Wikidata. wikidata.org. → on this site
  47. [84] ↑ . Wikidata. wikidata.org. → on this site
  48. [85] ↑ . Wikidata. wikidata.org. → on this site
  49. [86] ↑ . Wikidata. wikidata.org. → on this site
  50. [88] ↑ . Wikidata. wikidata.org. → on this site
  51. [89] ↑ . Wikidata. wikidata.org. → on this site
  52. [90] ↑ . Wikidata. wikidata.org. → on this site
  53. [91] ↑ . Wikidata. wikidata.org. → on this site
  54. [93] ↑ . Wikidata. wikidata.org. → on this site
  55. [94] ↑ . Wikidata. wikidata.org. → on this site
  56. [95] ↑ . Wikidata. wikidata.org. → on this site
  57. [96] ↑ . Wikidata. wikidata.org. → on this site
  58. [98] ↑ . Wikidata. wikidata.org. → on this site
  59. [99] ↑ . Wikidata. wikidata.org. → on this site
  60. [100] ↑ . Wikidata. wikidata.org. → on this site
  61. [101] ↑ . Wikidata. wikidata.org. → on this site
  62. [103] ↑ . Wikidata. wikidata.org. → on this site
  63. [104] ↑ . Wikidata. wikidata.org. → on this site
  64. [106] ↑ . Wikidata. wikidata.org. → on this site
  65. [107] ↑ . Wikidata. wikidata.org. → on this site

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

Aggregate / graph-position facts

  1. [11] ↑ . Wikimedia Foundation. dumps.wikimedia.org.
  2. [80] ↑ . Wikidata sitelinks. wikidata.org.
  3. [81] ↑ . Wikidata aliases. wikidata.org.

📑 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 March 8, 2026, from https://4ort.xyz/entity/amir-pnueli
MLA “Amir Pnueli.” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Mar. 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-03-08}}
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-03-08)

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. 18w 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.