Amir Pnueli
Amir Pnueli | |
---|---|
Amir Pnueli, em 2005 | |
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.
|