Pnueli, Amir
| Amir Pnueli | |
|---|---|
| אמיר פנואלי | |
| Amir Pnueli, 2006 | |
| Data nașterii | 22 aprilie 1941 |
| Locul nașterii | Nahalal , Palestina , acum Israel |
| Data mortii | 2 noiembrie 2009 (68 de ani) |
| Un loc al morții | New York |
| Țară | Israel |
| Sfera științifică | Informatica |
| Loc de munca | Institutul Weizmann , Universitatea din New York |
| Alma Mater | Institutul de Tehnologie din Israel , Institutul de Tehnologie Weizmann |
| consilier științific | Chaim L. Pekeris (15 iunie 1908-25 februarie 1993) [d] șiPekeris, Chaim Leib |
| Premii și premii | Premiul Turing |
| Site-ul web | web.archive.org/web/2003… |
| Fișiere media la Wikimedia Commons | |
Amir Pnueli ( ebr. אמיר פנואלי , 22 aprilie 1941, Nahalal , Palestina - 2 noiembrie 2009, New York , SUA) este un informatician israelian și american , profesor de informatică la Institutul de Științe Weizmann. 1996 Premiul Turing pentru cercetarea logicii temporale și aplicarea acesteia la verificarea programelor .
Biografie
A primit o diplomă de licență de la Institutul de Tehnologie din Israel ( Haifa ), un doctorat în matematică aplicată de la Institutul Weizmann în 1967, cu o disertație despre calculul mareelor oceanice. După ce a lucrat ca postdoc la Universitatea Stanford, s-a întors la Rehovot . În 1973 s-a mutat la Tel Aviv , a fondat Facultatea de Informatică de la Universitatea din Tel Aviv și a devenit primul ei decan . În 1981, a trecut pe postul de profesor de informatică la Institutul de Științe Weizmann.
Din 1999 este profesor la Universitatea din New York . În 2007 a fost ales membru cu drepturi depline al Asociației pentru Mașini de Calcul .
A fondat două companii - Mini-Systems și AdCad .
Era căsătorit și avea trei copii și un nepot. [unu]
A murit pe 2 noiembrie 2009 la vârsta de 68 de ani din cauza unei hemoragii cerebrale [2] .
Premii
- 1996 - Premiul Turing „pentru munca fundamentală în implementarea logicii temporale în științele computaționale și pentru contribuții remarcabile la verificarea programelor și sistemelor” [3]
- 1997 - Doctorat onorific de la Universitatea Uppsala ( Suedia )
- 1998 - doctorat onorific al Universității Joseph Fourier ( Grenoble , Franța )
- 2000 - Premiul de Stat Israel
Note
- ↑ Scurtă biografie a lui Amir Pnueli Harel . Consultat la 9 februarie 2009. Arhivat din original pe 6 martie 2009.
- ↑ Amir Pnueli: Ahead of His Time, 2010 .
- ↑ ACM Award Citation / Amir Pnueli (link not available) . Consultat la 9 februarie 2009. Arhivat din original pe 28 februarie 2008.
Literatură
- Leah Hoffmann. Amir Pnueli: Înaintea timpului său // Comunicări ale ACM : Jurnal. - 2010. - ianuarie ( vol. 53 , nr. 1 ). - P. 22-23 . - doi : 10.1145/1629175.1629187 .
Link -uri
- Site-ul lui Amir Pnueli de la Universitatea din New York . Consultat la 9 februarie 2009. Arhivat din original pe 28 decembrie 2008.
- Site-ul Amir Pnueli de la Institutul Weizmann
 Site-uri tematice | ||||
|---|---|---|---|---|
| Dicționare și enciclopedii | ||||
| ||||
| Câștigători ai premiului Turing | |
|---|---|
| |