What key details about amir pnueli can be extracted from the following bio? Bio: amir pnueli -lrb- ; april 22 , 1941 -- november 2 , 2009 -rrb- was an israeli computer scientist and the 1996 turing award recipient .
A:
- death place is new york , united states- prizes is turing award -lrb- 1996 -rrb- israel prize- death date is 2 november 2009- field is computer science- work institution is stanford tel aviv university weizmann institute new york university- birth date is 22 april 1941- name is amir pnueli- image size is 150px- nationality is israeli- image is amir pnueli.jpg- birth place is nahalal , british mandate of palestine