Pnueli, Amir
| Amir Pnueli | |
|---|---|
| אמיר פנואלי | |
| Amir Pnueli, 2006 | |
| Fecha de nacimiento | 22 de abril de 1941 |
| Lugar de nacimiento | Nahalal , Palestina , ahora Israel |
| Fecha de muerte | 2 de noviembre de 2009 (68 años) |
| Un lugar de muerte | Nueva York |
| País | Israel |
| Esfera científica | Informática |
| Lugar de trabajo | Instituto Weizmann , Universidad de Nueva York |
| alma mater | Instituto de Tecnología de Israel, Instituto de Tecnología Weizmann |
| consejero científico | Chaim L. Pekeris (15 de junio de 1908-25 de febrero de 1993) [d] yPekeris, Chaim Leib |
| Premios y premios | Premio Turing |
| Sitio web | web.archive.org/web/2003… |
| Archivos multimedia en Wikimedia Commons | |
Amir Pnueli ( heb. אמיר פנואלי , 22 de abril de 1941, Nahalal , Palestina - 2 de noviembre de 2009, Nueva York , EE. UU.) es un científico informático israelí y estadounidense , profesor de informática en el Instituto Weizmann de Ciencias. 1996 Premio Turing a la investigación sobre lógica temporal y su aplicación a la verificación de programas .
Biografía
Recibió una licenciatura del Instituto de Tecnología de Israel ( Haifa ), un doctorado en matemáticas aplicadas del Instituto Weizmann en 1967 con una disertación sobre el cálculo de las mareas oceánicas. Después de trabajar como postdoctorado en la Universidad de Stanford, regresó a Rehovot . En 1973 se mudó a Tel Aviv , fundó la Facultad de Ciencias de la Computación en la Universidad de Tel Aviv y se convirtió en su primer decano . En 1981, pasó al puesto de profesor de informática en el Instituto de Ciencias Weizmann.
Desde 1999 es profesor en la Universidad de Nueva York . En 2007 fue elegido miembro de pleno derecho de la Association for Computing Machinery .
Fundó dos empresas: Mini-Systems y AdCad .
Estaba casado y tenía tres hijos y un nieto. [una]
Murió el 2 de noviembre de 2009 a la edad de 68 años de una hemorragia cerebral [2] .
Premios
- 1996 - Premio Turing "por su trabajo fundamental en la implementación de la lógica temporal en las ciencias computacionales y por sus destacadas contribuciones a la verificación de programas y sistemas" [3]
- 1997 - Doctorado Honorario de la Universidad de Uppsala ( Suecia )
- 1998 - doctorado honorario de la Universidad Joseph Fourier ( Grenoble , Francia )
- 2000 - Premio del Estado de Israel
Notas
- ↑ Breve biografía de Amir Pnueli Harel . Consultado el 9 de febrero de 2009. Archivado desde el original el 6 de marzo de 2009.
- ↑ Amir Pnueli: Adelantado a su tiempo, 2010 .
- ↑ Mención de premio ACM / Amir Pnueli (enlace no disponible) . Consultado el 9 de febrero de 2009. Archivado desde el original el 28 de febrero de 2008.
Literatura
- Leah Hoffman. Amir Pnueli: Adelantado a su tiempo // Comunicaciones de la ACM : Revista. - 2010. - enero ( vol. 53 , no. 1 ). - Pág. 22-23 . -doi : 10.1145/ 1629175.1629187 .
Enlaces
- Sitio web de Amir Pnueli en la Universidad de Nueva York . Consultado el 9 de febrero de 2009. Archivado desde el original el 28 de diciembre de 2008.
- Sitio web de Amir Pnueli en el Instituto Weizmann
 sitios temáticos | ||||
|---|---|---|---|---|
| diccionarios y enciclopedias | ||||
| ||||
| Ganadores del Premio Turing | |
|---|---|
| |