Amir Pnueli ( hebreo : אמיר פנואלי ; 22 de abril de 1941 - 2 de noviembre de 2009) fue un científico informático israelí y ganador del premio Turing en 1996 .
Pnueli nació en Nahalal , en el Mandato Británico de Palestina (ahora en Israel ) y recibió una licenciatura en matemáticas del Technion en Haifa , y un doctorado en matemáticas aplicadas del Instituto Weizmann de Ciencias (1967). [1] Su tesis fue sobre el tema de "Cálculo de mareas en el océano". Se pasó a la informática durante una temporada como investigador postdoctoral en la Universidad de Stanford . Sus trabajos en informática se centraron en la lógica temporal y la verificación de modelos , particularmente en relación con las propiedades de equidad de los sistemas concurrentes . [2]
Regresó a Israel como investigador; fue el fundador y primer director del departamento de informática de la Universidad de Tel Aviv . Se convirtió en profesor de informática en el Instituto Weizmann en 1981. Desde 1999 hasta su muerte, Pnueli también ocupó un puesto en el Departamento de Informática de la Universidad de Nueva York , Nueva York , EE. UU. [2] También se desempeñó como profesor asociado en la Universidad de Pensilvania y la Universidad Joseph Fourier . [3]
Pnueli también fundó dos empresas tecnológicas emergentes durante su carrera. Tuvo tres hijos y, al momento de su muerte, cuatro nietos. [2]
Pnueli murió el 2 de noviembre de 2009, de una hemorragia cerebral . [2] [4] [5]