Resultado de búsqueda
Amir Pnueli (n. 22 de abril de 1941 - 2 de noviembre de 2009) fue un científico de la computación israelí que recibió el Premio Turing de la ACM en 1996 por trabajo original que introdujo la lógica temporal en las ciencias de la computación, y por sobresalientes contribuciones a la verificación de programas y sistemas .
Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
Amir Pnueli was an Israeli computer scientist and winner of the 1996 A.M. Turing Award, the highest honour in computer science, for “seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification.”
15 de nov. de 2009 · Amir Pnueli, who turned a philosopher’s explorations of time, logic and free will into a critical technique for verifying the reliability of computers, died on Nov. 2 in Manhattan. He was 68.
Amir Pnueli fue un científico de la computación israelí que recibió el Premio Turing de la ACM en 1996 por trabajo original que introdujo la lógica temporal en las ciencias de la computación, y por sobresalientes contribuciones a la verificación de programas y sistemas.
Amir Pnueli (en hebreo: אמיר פנואלי; 22 de abril de 1941 - 2 de noviembre de 2009) fue un científico informático israelí. y ganador del Premio Turing de 1996. Biografía
4 de nov. de 2009 · Amir Pnueli, an internationally renowned pioneer in computer science best known for introducing temporal logic to analyze computer systems, died on November 2 at the age of 68 at St. Vincent’s Hospital in New York.