robot de la enciclopedia para niños

Amir Pnueli para niños

Enciclopedia para niños
Datos para niños
Amir Pnueli
Amir Pnueli.jpg
Información personal
Nombre en hebreo אמיר פנואלי
Nacimiento 22 de abril de 1941
Bandera de Israel Nahalal, Israel
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.

¿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

Kids robot.svg En inglés: Amir Pnueli Facts for Kids

kids search engine
Amir Pnueli para Niños. Enciclopedia Kiddle.