Category:Amir Pnueli

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
Amir Pnueli 
Amir Pnueli.jpg
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Wikipedia-logo-v2.svg Wikipedia
Date of birth22 April 1941
Date of death2 November 2009
New York City
  • natural causes

Country of citizenship
Educated at
Doctoral advisor
  • Chaim L. Pekeris
Doctoral student
  • Dan Zakay
Member of
Field of work
Work location
Award received
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.