Amir Pnueli

Membrecoj
Membrecoj	Asocio por Komputila Maŝinaro (ACM Fellow (en) ) (2007–); Nacia Akademio de Inĝenierio (1999–); Israela Akademio de Sciencoj kaj Beletroj vd

Honorigoj
Honorigoj	(2007) ACM Software System Award (en) ; (2007) ACM Fellow (en) ; (2000) Premio Israelo; (13-a de februaro 1998) honorary doctorate from Joseph Fourier University (en) ; (1996) Premio Turing ; vd

**Amir Pnueli**
Amir Pnueli
Persona informo
	אמיר פנואלי
Naskiĝo	22-an de aprilo 1941; en Nahalal
Morto	2-an de novembro 2009 (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 ; universitata instruisto ; pedagogo ; inĝeniero ; matematikisto vd
Laborkampo	komputiko vd
Aktiva en	Weizmann-a Scienca Instituto vd
Doktoreca konsilisto	Chaim L. Pekeris vd
Honorigoj
Honorigoj	(2007) ACM Software System Award (en) ; (2007) ACM Fellow (en) ; (2000) Premio Israelo; (13-a de februaro 1998) honorary doctorate from Joseph Fourier University (en) ; (1996) Premio Turing ; vd
Membrecoj
Membrecoj	Asocio por Komputila Maŝinaro (ACM Fellow (en) ) (2007–); Nacia Akademio de Inĝenierio (1999–); Israela Akademio de Sciencoj kaj Beletroj vd
En TTT	Oficiala retejo vd
vd	Fonto: Vikidatumoj
	v • d • r

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.^[1]

Referencoj