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) (74 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.