Amir Pnueli (1941-2009)

Country :Israël
Language :anglais
Gender :masculin
Birth :Nahalal (Israël), 22-04-1941
Death :New York, 02-11-2009
Note :
Mathématicien. - Professeur, Department of computer science and applies mathematics, Faculty of mathematics and computer science, Weizmann institute of science, Rehovot, Israel (en 1995). - Professeur, Department of computer science, Courant institute of mathematical sciences, New York university (1999-2009). - Membre, Israel academy of sciences and humanities (2001-2009). - Lauréat, Prix d'Israël en informatique (en 2001)
Variants of the name :ʾAmiyr Pnwʾeliy (1941-2009) (hébreu)
אמיר פנואלי (1941-2009) (hébreu)
ISNI :ISNI 0000 0000 8386 4015

Occupations

Auteur du texte1 document

  • Temporal verification of reactive systems

    safety

    Material description : XVIII-512 p.
    Note : Note : Bibliogr. p. [465]-479. Index
    Edition : New York : Springer , cop. 1995
    Auteur du texte : Zohar Manna

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37316170z]

Pages in data.bnf.fr

Related authors

This page in data.bnf.fr lab

Sources and references

Sources

Variants of the name

  • ʾAmiyr Pnwʾeliy (1941-2009) (hébreu)
  • אמיר פנואלי (1941-2009) (hébreu)

Wikipedia Biography

  • Amir Pnueli (hébreu : אמיר פנואלי) est un informaticien israélien né le 22 avril 1941 et mort le 2 novembre 2009 d'une hémorragie intra-cérébrale.Il a obtenu le Prix Turing et le Prix Israël.

Closely matched pages