Jump to content

Amir Pnueli

From Wikipedia, the free encyclopedia
(Redirected from Pnueli)
Amir Pnueli
Born(1941-04-22)April 22, 1941
Died2 November 2009(2009-11-02) (aged 68)
NationalityIsraeli
AwardsTuring Award (1996)
Israel Prize
Scientific career
FieldsComputer Science
InstitutionsTel Aviv University
Weizmann Institute
New York University
University of Pennsylvania
Stanford University
Doctoral students

Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.

Biography

[edit]

Pnueli was born in Nahalal, in the British Mandate of Palestine (now in Israel) and received a Bachelor's degree in mathematics from the Technion in Haifa, and Ph.D. in applied mathematics from the Weizmann Institute of Science (1967).[1] His thesis was on the topic of "Calculation of Tides in the Ocean". He switched to computer science during a stint as a post-doctoral fellow at Stanford University. His works in computer science focused on temporal logic and model checking, particularly regarding fairness properties of concurrent systems.[2]

He returned to Israel as a researcher; he was the founder and first chair of the computer science department at Tel Aviv University. He became a professor of computer science at the Weizmann Institute in 1981. From 1999 until his death, Pnueli also held a position at the Computer Science Department of New York University, New York, U.S.[2] He's also served as an associate professor at the University of Pennsylvania and the Joseph Fourier University.[3]

Pnueli also founded two startup technology companies during his career. He had three children and, at his death, had four grandchildren.[2]

Pnueli died on November 2, 2009, of a brain hemorrhage.[2][4][5]

Awards and honours

[edit]

See also

[edit]

References

[edit]
  1. ^ "Amir Pnueli". The Mathematics Genealogy Project. Retrieved 19 September 2022.
  2. ^ a b c d Chang, Kenneth (November 14, 2009), "Amir Pnueli, Pioneer of Temporal Logic, Dies at 68", The New York Times.
  3. ^ "AMIR PNUELI". amturing.acm. Retrieved 14 August 2023.
  4. ^ "NYU Computer Science Professor Amir Pnueli, 68", Dr. Dobb's, November 5, 2009.
  5. ^ NYU Professor Amir Pnueli, 68, Distinguished Computer Scientist, New York University Computer Science Department, archived from the original on 9 November 2009, retrieved 2009-11-08.
  6. ^ "Honorary doctorates - Uppsala University, Sweden". 9 June 2023.
  7. ^ "Israel Prize Official Site (in Hebrew) – Recipient's C.V."
  8. ^ "Israel Prize Official Site (in Hebrew) – Judges' Rationale for Grant to Recipient".
[edit]