Amir Pnueli (1941-2009)

Pays :Israël
Langue :anglais
Sexe :masculin
Naissance :Nahalal (Israël), 22-04-1941
Mort :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)
Autres formes du nom :ʾAmiyr Pnwʾeliy (1941-2009) (hébreu)
אמיר פנואלי (1941-2009) (hébreu)
ISNI :ISNI 0000 0000 8386 4015

Ses activités

Auteur du texte1 document

  • Temporal verification of reactive systems

    safety

    Description matérielle : XVIII-512 p.
    Description : Note : Bibliogr. p. [465]-479. Index
    Édition : New York : Springer , cop. 1995
    Auteur du texte : Zohar Manna

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

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

Autres formes du nom

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

Biographie Wikipedia

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

Pages équivalentes