Amir Pnueli para niños
Datos para niños Amir Pnueli |
||
---|---|---|
![]() |
||
Información personal | ||
Nombre en hebreo | אמיר פנואלי | |
Nacimiento | 22 de abril de 1941![]() |
|
Fallecimiento | 2 de noviembre de 2009 Nueva York, Estados Unidos |
|
Causa de muerte | Hemorragia cerebral | |
Nacionalidad | ísraelí | |
Educación | ||
Educado en | ||
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 |
|
|
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.
Contenido
¿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