Amir Pnueli
Amir Pnueli · Tecnología e ingeniería
Judío nacido en Israel y criado en el mósav de Nahalal, Pnueli estudió primero matemáticas en el Technion antes de pasar a la informática.
1941, Nahalal, Mandato británico de Palestina (hoy Israel) — 2009, Nueva York, Estados Unidos
Israel (Weizmann Institute · Tel Aviv University) · Estados Unidos (New York University)
Judío nacido en Israel y criado en el mósav de Nahalal, Pnueli estudió primero matemáticas en el Technion antes de pasar a la informática. En un artículo fundamental de 1977 introdujo la lógica temporal —un lenguaje formal del «siempre» y el «finalmente»— como forma rigurosa de especificar y verificar el comportamiento de los programas concurrentes y reactivos en el tiempo. Este trabajo fundó la verificación formal y le valió el Premio Turing de 1996; importa porque permite demostrar matemáticamente que un software crítico no fallará.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — Jewish recipients of the Turing Award
Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.
Judío nacido en Israel y criado en el mósav de Nahalal, Pnueli estudió primero matemáticas en el Technion antes de pasar a la informática.
Fuente: Jinfo.org — Jewish recipients of the Turing Award
Contribuidores similares
Michael Rabin
Alan Perlis
Avi Wigderson
Jeffrey Ullman
Leslie Valiant
