Amir Pnueli

Amir Pnueli
Persona informo
אמיר פנואלי
Naskiĝo	22-an de aprilo 1941 (1941-04-22) en Nahalal
Morto	2-an de novembro 2009 (2009-11-02) (68-jara) en Novjorko
Mortis pro	naturaj kialoj [#]
Mortis per	cerba sangado [#]
Ŝtataneco	Israelo [#]
Alma mater	Teĥnion • Weizmann-a Scienca Instituto [#]
Profesio
Okupo	komputikisto • inĝeniero • pedagogo • universitata instruisto • matematikisto [#]
Laborkampo	komputiko [#]
Aktiva en	Weizmann-a Scienca Instituto [#]
Doktoreca konsilisto	Chaim L. Pekeris [#]
Honorigoj Honorigoj Premio Israelo • Premio Turing • ACM Software System Award • ACM Fellow [#]
Membrecoj Membrecoj Israela Akademio de Sciencoj kaj Beletroj • Asocio por Komputila Maŝinaro • Nacia Akademio de Inĝenierio [#]
En TTT	Oficiala retejo [#]
[#]	Fonto: Vikidatumoj

Amir PNUELI, hebree אמיר פנואלי, (naskiĝis la 22-an de aprilo 1941, mortis la 2-an de novembro 2009) estis israela komputikisto. Li ricevis la Premion Turing en 1996 pro originala laboro kiu enkondukis la tempan logikon en la komputikon, kaj pro kontribuoj al la korektec-kontrolo de programoj kaj sistemoj.