Please answer the following question: Information:  - Amir Pnueli ( Hebrew :    ; April 22 , 1941 -- November 2 , 2009 ) was an Israeli computer scientist and the 1996 Turing Award recipient .  - The ACM A.M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) to "an individual selected for contributions of a technical nature made to the computing community". It is stipulated that "The contributions should be of lasting and major technical importance to the computer field". The Turing Award is generally recognized as the highest distinction in computer science and the "Nobel Prize of computing".  - The Association for Computing Machinery (ACM) is an international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. It is a not-for-profit professional membership group. Its membership is more than 100,000 as of 2011. Its headquarters are in New York City.    What is the relationship between 'amir pnueli' and 'new york city'?
A:
place of death