Amir Pnueli

El Vikipedio, la libera enciklopedio
Amir Pnueli
Amir Pnueli FLoC 2006 (cropped).jpg
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 cerba sangado [#]
Ŝtataneco Israelo [#]
Alma mater TeĥnionWeizmann-a Scienca Instituto [#]
Profesio
Okupo komputikistoinĝenieropedagogo • universitata instruisto • matematikisto [#]
Laborkampo komputiko [#]
Aktiva en Weizmann-a Scienca Instituto [#]
Doktoreca konsilisto Chaim L. Pekeris [#]
En TTT Oficiala retejo [#]
[#] Fonto: Vikidatumoj
Wikidata-logo.svg
Information icon.svg
vdr

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]