Category:Amir Pnueli

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
Amir Pnueli 
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Amir Pnueli.jpg
Wikipedia-logo-v2.svg  Wikipedia
Date of birth22 April 1941
Nahalal
Date of death2 November 2009
New York City
  • natural causes
Country of citizenship
Educated at
Doctoral advisor
  • Chaim L. Pekeris
Doctoral student
  • Dan Zakay
Occupation
Employer
Member of
Field of work
Work location
Award received
  • Israel Prize (2000)
  • Turing Award (1996)
  • ACM Software System Award (2007)
  • Fellow of the Association for Computing Machinery (2007)
Official website
Authority control
Blue pencil.svg
English: Amir Pnueli (Hebrew: אמיר פנואלי‎; born 1941) is an Israeli computer scientist who received the Turing Award in 1996.

Media in category "Amir Pnueli"

The following 2 files are in this category, out of 2 total.