Amir Pnueli

Amir Pnueli (en hebreo: אמיר פנואלי; 22 de abril de 1941 - 2 de noviembre de 2009) fue un científico informático israelí. y ganador del Premio Turing de 1996.

Biografía

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 Ph.D. en matemáticas aplicadas del Instituto Weizmann de Ciencias (1967). Su tesis versó sobre el tema "Cálculo de mareas en el océano". Cambió a la informática durante una temporada como becario 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 lo que respecta a las propiedades de equidad de los sistemas concurrentes.

Regresó a Israel como investigador; fue el fundador y primer presidente del departamento de informática de la Universidad de Tel Aviv. Se convirtió en profesor de ciencias de la computación en el Instituto Weizmann en 1981. Desde 1999 hasta su muerte, Pnueli también ocupó un puesto en el Departamento de Ciencias de la Computación de la Universidad de Nueva York, Nueva York, EE. UU. También se desempeñó como profesor asociado. en la Universidad de Pensilvania y la Universidad Joseph Fourier.

Pnueli también fundó dos nuevas empresas de tecnología durante su carrera. Tenía tres hijos y, a su muerte, tenía cuatro nietos.

Pnueli murió el 2 de noviembre de 2009 de una hemorragia cerebral.

Premios y distinciones

• En 1996, Pnueli recibió el premio Turing para el trabajo seminal introduciendo la lógica temporal en la ciencia informática y para contribuciones pendientes a la verificación de programas y sistemas.
• El 30 de mayo de 1997 Pnueli recibió un doctorado honorario de la Facultad de Ciencia y Tecnología de la Universidad de Uppsala, Suecia.
• En 1999, fue inducido como Asociado Extranjero de la Academia Nacional de Ingeniería de los Estados Unidos.
• En 2000, fue galardonado con el Premio Israel, por la informática.
• En 2007 fue inducido como miembro de la Asociación de Maquinaria de Computadora.
• El Instituto de Ciencias de Weizmann presenta una serie de conferencias conmemorativas en su honor. [1]