Amir Pnueli (hebreu: אמיר פנואלי) fou un informàtic israelià que va guanyar el premi Turing de 1996.
Pnueli va néixer a Nahalal, al Mandat Britànic de Palestina (ara Israel) i es va llicenciar en Matematiques al Technion de Haifa, doctorant-se en matemàtica aplicada a l'Institut Weizmann de Ciències. La seva tesi era sobre el "Càlcul de marees a l'oceà". Va canviar-se a la informàtica quan va fer una estada post-doctoral a la Universitat de Stanford. La seva feina en informàtica es va concentrar en la lògica temporal i la verificació de models, en concret sobre les propietats de justícia dels sistemes concurrents.[1]
Va tornar a Israel com a investigador; va ser el fundador i el primer director del departament d'informàtica de la Universitat de Tel Aviv. Va passar a fer de professor d'informàtica de l'Institut Weizmann el 1981. Des de 1999 fins a la seva mort, Pnueli també tenia un càrrec al Departament d'Informàtica de la Universitat de Nova York, als Estats Units.[1]
Pnueli també va fundar dues empreses de tecnologia al llarg de la seva carrera. Va tenir tres fills, i en el moment de la seva mort, tenia quatre nets.[1]
Pnueli va morir el 2 de novembre de 2009 d'hemorràgia cerebral.[1][2][3]