Amir Pnueli

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Translation Latin Alphabet.svg
Este artigo ou secção está a ser traduzido de de:Amir Pnueli. Ajude e colabore com a tradução.
Amir Pnueli
Ciência da computação
Amir Pnueli, em 2005
Nacionalidade Israel Israelense
Nascimento 22 de abril de 1941
Local Nahalal
Morte 2 de novembro de 2009 (68 anos)
Local Nova Iorque
Atividade
Campo(s) Ciência da computação
Tese 1967: Solution of Tidal Problems in Simple Basins
Prêmio(s) Prêmio Turing (1996)

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

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 externas[editar | editar código-fonte]


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


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