Amir Pnueli
Amir Pnueli | |
|---|---|
 | |
| Nacido | ( 22 de abril de 1941 )22 de abril de 1941 |
| Fallecido | 2 de noviembre de 2009 (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 Tel Aviv Instituto Weizmann Universidad de Nueva York Universidad de Pensilvania Universidad de Stanford |
| Estudiantes de doctorado | |
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 .
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 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]
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 informática y por sus destacadas contribuciones 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 . [6]
- En 1999, fue incluido como Asociado Extranjero de la Academia Nacional de Ingeniería de Estados Unidos.
- En 2000, fue galardonado con el Premio Israel de informática. [7] [8]
- En 2007, fue nombrado miembro de la Association for Computing Machinery .
- El Instituto de Ciencias Weizmann presenta una serie de conferencias conmemorativas en su honor.[1]
Véase también
Referencias
- ^ "Amir Pnueli". Proyecto de genealogía matemática . Consultado el 19 de septiembre de 2022 .
- ^ abcd Chang, Kenneth (14 de noviembre de 2009), "Amir Pnueli, pionero de la lógica temporal, muere a los 68 años", The New York Times.
- ^ "AMIR PNUELI". amturing.acm . Consultado el 14 de agosto de 2023 .
- ^ "Amir Pnueli, profesor de informática de la Universidad de Nueva York, 68", Dr. Dobb's , 5 de noviembre de 2009.
- ^ Profesor de la Universidad de Nueva York Amir Pnueli, 68 años, destacado científico informático, Departamento de Ciencias de la Computación de la Universidad de Nueva York , archivado desde el original el 9 de noviembre de 2009 , consultado el 8 de noviembre de 2009.
- ^ "Doctorados honorarios - Universidad de Uppsala, Suecia". 9 de junio de 2023.
- ^ "Sitio oficial del Premio Israel (en hebreo) – CV del ganador"
- ^ "Sitio oficial del Premio 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
- Biografía breve
- Página de inicio del Instituto Weizmann
- Perfil
- Amir Pnueli en el servidor de bibliografía DBLP
