Amir Pnueli

Membrecoj
Membrecoj	Israela Akademio de Sciencoj kaj Beletroj • Asocio por Komputila Maŝinaro • Nacia Akademio de Inĝenierio vd

Honorigoj
Honorigoj	Premio Israelo • Premio Turing • ACM Software System Award • ACM Fellow 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 • 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.^[1]

Referencoj

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.