Amir Pnueli

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Amir Pnueli
Amir Pnueli.jpg
Amir Pnueli
Date personale
Născut 22 aprilie 1941 (75 de ani)
Nahalal, Palestina
Decedat 2 noiembrie 2009 (68 de ani)[1]
New York, SUA
Naționalitate israelian
Cetățenie Israel
Ocupație informatician
inginer
pedagog[*]
profesor universitar
Activitate
Rezidență Israel Israel
Domeniu informatician
Instituție Institutul Weizmann
Universitatea New York
Alma Mater Technion
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.


  1. ^ http://blog.computationalcomplexity.org/2009/11/amir-pnueli-1941-2009.html  Missing or empty |title= (ajutor)