Amir Pnueli

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Amir Pnueli
Amir Pnueli.jpg
Amir Pnueli
Date personale
Născut (76 de ani)
Nahalal, Palestina
Decedat (68 de ani)[1] Modificați la Wikidata
New York, SUA Modificați la Wikidata
Naționalitate israelian
Cetățenie Israel Modificați la Wikidata
Ocupație informatician
inginer
pedagog[*]
profesor universitar Modificați la Wikidata
Activitate
Rezidență Israel Israel
Domeniu informatician
Instituție Institutul Weizmann
Universitatea New York
Alma Mater Technion  Modificați la Wikidata
Premii Premiul Turing, 1996
Prezență online

Amir Pnueli (în ebraică אמיר פנואלי; n. , Nahalal[*], Israel – 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.

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