Amir Pnueli

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
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ățenie Flag of Israel.svg Israel Modificați la Wikidata
Ocupație informatician
inginer
pedagog[*]
profesor universitar Modificați la Wikidata
Activitate
Domeniu informatică  Modificați la Wikidata
Număr Erdős Modificați la Wikidata
Instituție Institutul Weizmann
Universitatea New York
Alma Mater Technion  Modificați la Wikidata
Organizații Universitatea New York[*]  Modificați la Wikidata
Doctoranzi Dan Zakay[*]  Modificați la Wikidata
Societăți Academia Națională de Științe a Israelului
Association for Computing Machinery  Modificați la Wikidata
Premii Premiul Israel[*] ()
Premiul Turing ()
ACM Software System Award[*] (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ă]