Amir Pnueli

Membrecoj
Membrecoj	Nacia Akademio de Inĝenierio (1999–); Asocio por Komputila Maŝinaro ; 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) Doctorat honoris causa de l'université Grenoble-I (fr) ; (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) Doctorat honoris causa de l'université Grenoble-I (fr) ; (1996) Premio Turing ; vd
Membrecoj
Membrecoj	Nacia Akademio de Inĝenierio (1999–); Asocio por Komputila Maŝinaro ; 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[redakti | redakti fonton]