Amir Pnueli
| Amir Pnueli | |
|---|---|
 | |
| Nascimento | 22 de abril de 1941 Nahalal |
| Morte | 2 de novembro de 2009 (68 anos) Nova Iorque |
| Nacionalidade | israelense |
| Prêmios | Prêmio Turing (1996) |
| Orientador(es)(as) | Chaim Leib Pekeris |
| Campo(s) | Ciência da computação |
| Tese | 1967: Solution of Tidal Problems in Simple Basins |
Amir Pnueli (Nahalal, 22 de abril de 1941 — Nova Iorque, 2 de novembro de 2009) foi um informático israelense.[1]
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.
Referências
Ligações externas[editar | editar código-fonte]
- Amir Pnueli (em inglês) no 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 |
