Jump to navigation Jump to search
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
|Date of birth||22 April 1941|
|Date of death||2 November 2009|
New York City
|Country of citizenship|
|Field of work|
English: Amir Pnueli (Hebrew: אמיר פנואלי; born 1941) is an Israeli computer scientist who received the Turing Award in 1996.