Amir Pnueli - Amir Pnueli
Amir Pnueli | |
---|---|
Nació |
|
22 de abril de 1941
Fallecido | 2 de noviembre de 2009 |
(68 años)
Nacionalidad | israelí |
Premios |
Premio Turing (1996) Premio Israel |
Carrera científica | |
Los campos | Ciencias de la Computación |
Instituciones |
Universidad de Stanford Universidad de Tel Aviv Instituto Weizmann Universidad de Nueva York |
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 .
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 con respecto 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 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 .
Pnueli también fundó dos empresas emergentes de tecnología durante su carrera. Tuvo tres hijos y, a su muerte, cuatro nietos.
Pnueli murió el 2 de noviembre de 2009 de una hemorragia cerebral .
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 .
- 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.
- 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
Referencias
enlaces externos
- Página de inicio de la Universidad de Nueva York
- Página de inicio del Instituto Weizmann
- Amir Pnueli en el servidor de bibliografía DBLP