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ĝa) en Nov-Jorko
Mortis pro	naturaj kialoj vd
Mortis per	cerba sangado vd
Ŝtataneco	Israelo vd
Alma mater	Teĥnion • Weizmann-a Scienca Instituto vd
Profesio
Okupo	komputosciencisto • inĝeniero • pedagogo • universitata instruisto • matematikisto vd
Laborkampo	komputiko vd
Aktiva en	Weizmann-a Scienca Instituto vd
Doktoreca konsilisto	Chaim L. Pekeris vd
Honorigoj Honorigoj Premio Israelo • Premio Turing • ACM Software System Award • ACM Fellow vd
Membrecoj Membrecoj Israela Akademio de Sciencoj kaj Beletroj • Asocio por Komputila Maŝinaro • Nacia Akademio de Inĝenierio vd
En TTT	Oficiala retejo vd
vd	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.