Amir Pnueli - Amir Pnueli

Amir Pnueli
Amir Pnueli.jpg
Nació ( 22 de abril de 1941 )22 de abril de 1941
Fallecido 2 de noviembre de 2009 (02-11-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

Ver también

Referencias

enlaces externos