Amir Pnueli (Nahalal, 22 de abril de 1941 — Nova Iorque, 2 de novembro de 2009) foi um informático israelense.Amir Pnueli, Pioneer of Temporal Logic, Dies at 68
Introduziu a lógica temporal na ciência da computação e contribuiu para a verificação formal de programas e sistemas, recebendo por isto o Prêmio Turing de 1996.
Pnueli morreu em consequência de um derrame.
Ligações externas
Categoria:Cientistas da computação dos Estados Unidos Categoria:Israelenses