Amir Pnueli para niños

Datos para niños Amir Pnueli
Información personal
Nombre en hebreo	אמיר פנואלי
Nacimiento	22 de abril de 1941 Nahalal, Israel
Fallecimiento	2 de noviembre de 2009 Nueva York, Estados Unidos
Causa de muerte	Hemorragia cerebral
Nacionalidad	ísraelí
Educación
Educado en	Technion - Instituto Tecnológico de Israel Instituto Weizmann de Ciencias
Supervisor doctoral	Chaim L. Pekeris
Información profesional
Área	Ciencias de la computación
Empleador	Instituto Weizmann Universidad de Nueva York
Estudiantes doctorales	Shmuel Safra
Miembro de	Academia Israelí de Ciencias y Humanidades Academia Nacional de Ingeniería (desde 1999) Association for Computing Machinery (desde 2007)
Sitio web	www.wisdom.weizmann.ac.il/~amir
Distinciones	Premio Turing en 1996. Premio Israel

Amir Pnueli (nacido el 22 de abril de 1941 y fallecido el 2 de noviembre de 2009) fue un importante científico de la computación de Israel. Recibió un premio muy prestigioso, el Premio Turing, en 1996. Este premio se le otorgó por su trabajo innovador en la lógica temporal aplicada a las ciencias de la computación. También fue reconocido por sus grandes aportes para asegurar que los programas y sistemas de computadora funcionen correctamente.

¿Quién fue Amir Pnueli?

Amir Pnueli nació en Nahalal, una localidad de Israel. Desde joven mostró un gran interés por las matemáticas y la ciencia. Su trabajo ayudó a que las computadoras fueran más confiables.

Su Formación Académica

Amir Pnueli estudió mucho para convertirse en un experto. Obtuvo su primera carrera en Matemáticas en el Technion, que es el Instituto Tecnológico de Israel, ubicado en Haifa. Después, consiguió su doctorado en matemática aplicada en el Instituto Científico Weizmann. Su tesis doctoral trataba sobre cómo calcular las mareas en el océano.

Más tarde, realizó una estancia de investigación avanzada en la Universidad de Stanford, en Estados Unidos. Fue allí donde su interés se dirigió hacia las Ciencias de la computación.

Su Carrera Profesional

Al regresar a Israel, Amir Pnueli comenzó a trabajar como investigador. Con el tiempo, fue ascendiendo en su carrera académica. En 1981, se convirtió en profesor de Ciencias de la Computación en el Instituto Weizmann.

En 1999, se mudó a Estados Unidos y se unió al Departamento de Ciencias de la Computación de la Universidad de Nueva York. Durante su vida, Amir Pnueli también fundó dos empresas de tecnología.

Su Legado y Vida Personal

Amir Pnueli hizo contribuciones muy importantes al campo de la computación. Su trabajo en lógica temporal ayuda a los ingenieros a diseñar sistemas que funcionan bien con el paso del tiempo. Esto es clave para programas complejos y sistemas que deben ser muy seguros.

Estuvo casado y tuvo tres hijos y un nieto. Falleció el 2 de noviembre de 2009 en la ciudad de Nueva York.

Véase también

En inglés: Amir Pnueli Facts for Kids