Amir Pnueli ( hebreo : אמיר פנואלי ; 22 de abril de 1941 - 2 de noviembre de 2009) fue un informático israelí y ganador del Premio Turing de 1996 .
Amir Pnueli | |
---|---|
Nació | |
Fallecido | 2 de noviembre de 2009 | (68 años)
Nacionalidad | israelí |
Premios | Premio Turing (1996) Premio Israel |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Stanford Universidad de Tel Aviv Instituto Weizmann Universidad de Nueva York |
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 de Ciencias Weizmann . Su tesis fue sobre el tema "Cálculo de las mareas en el océano". Se cambió a la informática durante un período como becario postdoctoral en la Universidad de Stanford . Sus trabajos en ciencias de la computación se enfocaron 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 . [1]
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 informática 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 . [1]
Pnueli también fundó dos empresas emergentes de tecnología durante su carrera. Tuvo tres hijos y, a su muerte, cuatro nietos. [1]
Pnueli murió el 2 de noviembre de 2009 de una hemorragia cerebral . [1] [2] [3]
Premios y honores
- En 1996, Pnueli recibió el Premio Turing por su trabajo fundamental en la introducción de la lógica temporal en la ciencia de la computación y por sus destacadas contribuciones a la verificación de programas y sistemas .
- El 30 de mayo de 1997, Pnueli recibió un doctorado honoris causa de la Facultad de Ciencia y Tecnología de la Universidad de Uppsala , Suecia . [4]
- En 1999, fue admitido como Asociado Extranjero de la Academia Nacional de Ingeniería de EE. UU.
- En 2000, fue galardonado con el Premio Israel de Ciencias de la Computación. [5] [6]
- En 2007, fue admitido como miembro de la Association for Computing Machinery .
- El Instituto de Ciencias Weizmann presenta una serie de conferencias conmemorativas en su honor. [1]
Ver también
- Publicaciones importantes en verificación formal
- Lista de ganadores del premio de Israel
Referencias
- ^ a b c d Chang, Kenneth (14 de noviembre de 2009), "Amir Pnueli, pionero de la lógica temporal, muere a los 68" , The New York Times.
- ^ "Profesor de Ciencias de la Computación de la Universidad de Nueva York, Amir Pnueli, 68" , Dr. Dobb's , 5 de noviembre de 2009.
- ^ Profesor Universidad de Nueva York Amir Pnueli, 68, que se distingue Informático , Universidad de Nueva York Departamento de Ciencias de la Computación, archivado desde el original, el 9 de noviembre 2009 , recuperada 2009-11-08.
- ^ http://www.uu.se/en/about-uu/traditions/prizes/honorary-doctorates/
- ^ "Sitio oficial del Premio Israel (en hebreo) - CV del destinatario"
- ^ "Sitio oficial del premio de Israel (en hebreo) - Justificación de los jueces para la concesión al destinatario" .
enlaces externos
- Página de inicio de la Universidad de Nueva York
- Biografia corta
- Página de inicio del Instituto Weizmann
- Perfil
- Amir Pnueli en el servidor de bibliografía DBLP