Amir Pnueli (în ; ) 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
Categorie:Nașteri în 1941 Categorie:Decese în 2009 Categorie:Informaticieni israelieni Categorie:Laureați ai Premiului Turing