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. 11d 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.