Amir Pnueli

De la Wikipedia, enciclopedia liberă
Jump to navigation Jump to search
Amir Pnueli
Amir Pnueli.jpg
Date personale
Născut Modificați la Wikidata
Nahalal[*], Palestina sub mandat britanic Modificați la Wikidata
Decedat (68 de ani)[1] Modificați la Wikidata
New York, SUA Modificați la Wikidata
CetățenieFlag of Israel.svg Israel Modificați la Wikidata
Ocupațieinformatician
inginer
pedagog[*]
profesor universitar Modificați la Wikidata
Activitate
Domeniuinformatică  Modificați la Wikidata
Număr ErdősModificați la Wikidata
InstituțieInstitutul Weizmann
Universitatea New York
Alma MaterTechnion  Modificați la Wikidata
OrganizațiiUniversitatea New York[*]  Modificați la Wikidata
Conducător de doctoratChaim L. Pekeris[*]  Modificați la Wikidata
DoctoranziDan Zakay[*]  Modificați la Wikidata
SocietățiAcademia Națională de Științe a Israelului
Association for Computing Machinery  Modificați la Wikidata
PremiiPremiul Israel[*] ()
Premiul Turing ()
ACM Software System Award[*] ()
Fellow of the Association for Computing Machinery[*] (Modificați la Wikidata
Prezență online

Amir Pnueli (în ebraică אמיר פנואלי; n. , Nahalal[*], Palestina sub mandat britanic – d. ,[1] New York, SUA) a fost un informatician israelian, laureat al Premiului Turing în 1996, care, conform comisiei de acordare, i-a fost conferit pentru lucrări de referință ce au introdus logica temporală în informatică și pentru remarcabile contribuții în domeniul verificării programelor și sistemelor.

Note[modificare | modificare sursă]