| Amir Pnueli | ||
|---|---|---|
| Personlig informasjon | ||
| Navn på hebraisk | אמיר פנואלי | |
| Fødsel |
Døde 22. april 1941 Nahalal , Israel | |
| Død |
Døde 2. november 2009 ( 68 år) New York , USA | |
| Dødsårsak | Hjerneblødning | |
| Nasjonalitet | israelsk | |
| utdanning | ||
| utdannet i | ||
| doktorgradsveileder | Chaim L. Pekeris (15. juni 1908 – 25. februar 1993) og Chaim L. Pekeris | |
| Profesjonell informasjon | ||
| Område | Datavitenskap | |
| Arbeidsgiver |
Weizmann Institute New York University | |
| Medlem av | ||
| Nettsted | www.wisdom.weizmann.ac.il/~amir | |
| distinksjoner |
Turing-prisen i 1996. Israel-prisen | |
Amir Pnueli (f. 22. april 1941 – 2. november 2009 ) var en israelsk informatiker som mottok ACM Turing Award i 1996 for originalt arbeid som introduserte tidsmessig logikk til informatikk, og for fremragende bidrag til program- og systemverifisering .
Født i Nahalal , Israel, fikk Pnueli sin bachelorgrad i matematikk fra Haifa Technion , og sin doktorgrad i anvendt matematikk fra Weizmann Institute of Science . Avhandlingen hans omhandler "Beregning av tidevann i havet". Under et postdoktoropphold ved Stanford University skiftet han interessefelt. Han returnerte til Israel som forsker, og etter en rekke akademiske forfremmelser ble han professor i informatikk ved Weizmann-instituttet i 1981 . I 1999 flyttet Pnueli til New York University Department of Computer Science .
I tillegg har Pnueli i løpet av sin karriere grunnlagt to teknologiselskaper. Han var gift og hadde tre barn og et barnebarn.
Han døde 2. november 2009 i New York.
| Forgjenger: Manuel Blum |
Turing-prisen 1996 |
Etterfølger: Douglas Engelbart |