Amir Pnueli
Amir Pnueli (Nahalal, 22 de abril de 1941 — Nova Iorque, 2 de novembro de 2009) foi um informático israelense.[1]
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 |
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 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 |