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
Număr Erdős Modificați la Wikidata
Instituție Institutul Weizmann
Universitatea New York
Alma Mater Technion  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ă]