Yahoo Search Búsqueda en la Web

Entrar

Resultado de búsqueda

  1. en.wikipedia.org › wiki › Amir_PnueliAmir Pnueli - Wikipedia

    Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.

  2. Imágenes

    • NYU Computer Science Department - Amir Pnueli Memorial Symposium
    • AMIR PNUELI | Memorial Tributes: Volume 16 | The National Academies Press
    • World's Most Prestigious Award in Computer Science to Weizmann ...
    • Amir Pnueli - Alchetron, The Free Social Encyclopedia
    • Amir Pnueli Photos and Premium High Res Pictures - Getty Images
    • Turing Award Series | Amir Pnueli | Episode-32 Tech Research - YouTube

    Ver todo

  3. es.wikipedia.org › wiki › Amir_PnueliAmir Pnueli - Wikipedia, la enciclopedia libre

    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 su 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 » .

  4. www.britannica.com › biography › Amir-PnueliAmir Pnueli | Formal Verification, Model Checking & Temporal...

    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.”

  5. www.wikiwand.com › es › Amir_PnueliAmir Pnueli - Wikiwand

    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.

  6. academia-lab.com › enciclopedia › amir-pnueliAmir Pnueli _ AcademiaLab

    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.

  7. cs.nyu.edu › home › peopleObituary Page of Amir Pnueli | NYU Computer Science

    NYU Professor Amir Pnueli, 68, Distinguished Computer Scientist. The NYU Department of Computer Science and the entire university community mourn the sudden passing of Professor Amir Pnueli, who died on November 2 of a brain hemorrhage.

  8. www.nytimes.com › 2009/11/15 › usAmir Pnueli, Pioneer of Temporal Logic, Dies at 68

    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.