Yahoo Search Busca da Web

Entrar

Resultado da Busca

  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. pt.wikipedia.org › wiki › Amir_PnueliAmir Pnueli – Wikipédia, a enciclopédia livre

    Amir Pnueli (Nahalal, 22 de abril de 1941 — Nova Iorque, 2 de novembro de 2009) foi um informático israelense. [1] Introduziu a lógica temporal na ciência da computação e contribuiu para a verificação formal de programas e sistemas, recebendo por isto o Prêmio Turing de 1996. Pnueli faleceu em consequência de um derrame ...

  3. Imagens

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

    Ver tudo

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

    1 de mai. de 2024 · 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.”

    • William L. Hosch

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

  6. www.wisdom.weizmann.ac.il › pnueli-profileAmir Pnueli - Weizmann

    Amir Pnueli. Estrin Family Professor of Computer Science. My field of research concerns the application of formal (mathematical) methods to the specification, verification, systematic development, and automatic synthesis of reactive, real-time, and hybrid computerized systems.

  7. www.nytimes.com › 2009/11/15 › usAmir Pnueli, Pioneer of Temporal Logic, Dies at 68 - The New ...

    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.

  8. dblp.org › pid › pdblp: Amir Pnueli

    Amir Pnueli, Andreas Podelski, Andrey Rybalchenko: Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems. TACAS 2005: 124-139