Amir Pnueli
O tópico Amir Pnueli foi discutido e analisado inúmeras vezes ao longo da história. Desde a antiguidade até à era moderna, Amir Pnueli tem sido objeto de debate, investigação e reflexão. A sua influência estende-se a diferentes áreas da vida, desde a política à cultura, à economia e à sociedade em geral. Ao longo do tempo, Amir Pnueli adquiriu diversos significados e foi interpretado de diferentes formas, o que contribuiu para a sua importância e relevância no mundo atual. Neste artigo exploraremos diferentes aspectos relacionados a Amir Pnueli e tentaremos esclarecer seu impacto e implicações em nossa realidade diária.
| 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 morreu em consequência de um derrame.
Referências
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 |
