Amir Pnueli

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