| Amir Pnueli | |||||
|---|---|---|---|---|---|
 | |||||
| Persona informo | |||||
| אמיר פנואלי | |||||
| Naskiĝo | 22-an de aprilo1941 (1941-04-22) en Nahalal | ||||
| Morto | 2-an de novembro2009 (2009-11-02) (68-jaraĝa) en Nov-Jorko | ||||
| Mortis pro | Naturaj kialoj vd | ||||
| Mortis per | Cerba sangadovd | ||||
| Ŝtataneco | Israelovd | ||||
| Alma mater | Teĥnion Weizmann-a Scienca Instituto vd | ||||
| Profesio | |||||
| Okupo | komputosciencisto universitata instruisto pedagogo inĝeniero matematikisto vd | ||||
| Laborkampo | Komputikovd | ||||
| Aktiva en | Weizmann-a Scienca Institutovd | ||||
| Doktoreca konsilisto | Chaim L. Pekerisvd | ||||
| |||||
| |||||
| EnTTT | Oficiala retejovd | ||||
| vd | Fonto:Vikidatumoj | ||||
Amir PNUELI,hebree אמיר פנואלי, (naskiĝis la22-an de aprilo 1941, mortis la2-an de novembro 2009) estisisraelakomputikisto. Li ricevis laPremion Turing en1996 pro originala laboro kiu enkondukis latempan logikon en la komputikon, kaj pro kontribuoj al la korektec-kontrolo de programoj kaj sistemoj.[1]
