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
- ↑ Amir Pnueli, Pioneer of Temporal Logic, Dies at 68
Ligações externas
- 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 |
Portal dos Estados Unidos
 | Este artigo sobre uma pessoa é um esboço. Você pode ajudar a Wikipédia expandindo-o.
|
