Amir Pnueli
Origem: Wikipédia, a enciclopédia livre.
| Amir Pnueli | |
|---|---|
| Ciência da computação | |
 Amir Pnueli, em 2005 |
|
| Nacionalidade |  Israelense |
| Nascimento | 22 de abril de 1941 |
| Local | Nahalal |
| Falecimento | 2 de novembro de 2009 (68 anos) |
| Local | Nova Iorque |
| Actividade | |
| 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 1941 — Nova 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]
- Amir Pnueli em Mathematics Genealogy Project
- Página pessoal no sítio da Universidade de Nova Iorque (em inglês)
- Biografia no sítio do Instituto Weizmann (em inglês)
| Precedido por Manuel Blum |
Prêmio Turing 1996 |
Sucedido por Douglas Engelbart |
