Amir Pnueli

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Amir Pnueli
Amir Pnueli
Amir Pnueli
Născut 22 aprilie 1941 (1941-04-22) (72 de ani)
Nahalal, Palestina
Rezidență Israel Israel
Naționalitate israelian
Domeniu informatician
Instituție Institutul Weizmann
Universitatea New York
Alma Mater Institutul Israelian de Tehnologie Haifa
Premii Premiul Turing, 1996

Amir Pnueli (în ebraică : אמיר פנואלי; n. 22 aprilie 1941, Nahalal, Palestina, astăzi în Israel) este 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.