Saltu al enhavo

Amir Pnueli

El Vikipedio, la libera enciklopedio
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 Redakti la valoron en Wikidata vd
Mortis per Cerba sangado Redakti la valoron en Wikidata vd
Ŝtataneco Israelo Redakti la valoron en Wikidata vd
Alma mater Teĥnion
Weizmann-a Scienca Instituto Redakti la valoron en Wikidata vd
Profesio
Okupo komputosciencisto
universitata instruisto
pedagogo
inĝeniero
matematikisto Redakti la valoron en Wikidata vd
Laborkampo Komputiko Redakti la valoron en Wikidata vd
Aktiva en Weizmann-a Scienca Instituto vd
Doktoreca konsilisto Chaim L. Pekeris vd
En TTT Oficiala retejo vd
vd Fonto: Vikidatumoj
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]