Amir Pnueli

Amir Pnueli (Nahalal, 22 de abril de 1941Nova Iorque, 2 de novembro de 2009) foi um informático israelense.

Amir Pnueli
Amir Pnueli, em 2005
Nascimento 22 de abril de 1941
Nahalal
Morte 2 de novembro de 2009 (68 anos)
Nova Iorque
Nacionalidade Israel Israelense
Prêmios Prêmio Turing (1996)
Campo(s) Ciência da computação
Tese 1967: Solution of Tidal Problems in Simple Basins

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 faleceu em consequência de um derrame.

Ligações externasEditar


Precedido por
Manuel Blum
Prêmio Turing
1996
Sucedido por
Douglas Engelbart


  Este artigo sobre uma pessoa é um esboço. Você pode ajudar a Wikipédia expandindo-o.