Amir Pnueli
Amir Pnueli (în ebraică אמיר פנואלי; n. , Nahalal, Palestina sub mandat britanic – d. , New York City, 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- ^ a b https://www.acm.org/media-center/2007/december/acm-names-38-fellows-for-computing-and-it-innovations-in-industry-education-entertainment, accesat în Lipsește sau este vid:
|title=
(ajutor) - ^ a b c d e f g h i Genealogia matematicienilor
- ^ Journal officiel de la République française. Document administratif,
- ^ a b Amir Pnueli, Autoritatea BnF
- ^ http://blog.computationalcomplexity.org/2009/11/amir-pnueli-1941-2009.html Lipsește sau este vid:
|title=
(ajutor)