Amir Pnueli

Nome: Amir Pnueli

Nascido em: 22 de abril de 1941, em Nahalal, Israel

Morte: 2 de novembro de 2009 (Idade: 68)

Contribuições relacionadas ao computador

• Cientista da computação israelense.
• Sua concentração de estudos foi lógica temporal e verificação de modelo, particularmente em relação às propriedades de imparcialidade de sistemas concorrentes.