Amir Pnueli

Amir Pnueli ( 22 aprilie 1941 - 2 noiembrie 2009 ) a fost un matematician , informatician și cercetător israelian . A primit premiul Turing în 1996 . Pnueli s-a născut în Nahalal , în Mandatul Britanic al Palestinei (acum Israel ) și are o diplomă de licență în matematică de la Haion's Technion și un doctorat. în matematică aplicată de la Weizmann Institute of Science . Teza sa a fost pe tema „Calculul mareelor ​​în ocean”. A trecut la informatică în timpul stagiului de postdoctor la Universitatea Stanford . Munca sa în informatică s-a concentrat pe logica temporală și controlul modelului, în special în ceea ce privește proprietățile de echitate ale sistemelor concurente . ^[1]

S-a întors în Israel ca cercetător; a fost fondatorul și primul președinte al departamentului de informatică de la Universitatea din Tel Aviv . A devenit profesor de informatică la Institutul Weizmann în 1981 . Din 1999 până la moartea sa, Pnueli a deținut și o funcție în Departamentul de Informatică al Universității New York , New York , SUA . Pnueli a fondat, de asemenea, două companii de start-tech în timpul carierei sale. A avut trei copii și, la moartea sa, a avut patru nepoți. Pnueli a murit pe 2 noiembrie 2009 de o hemoragie cerebrală.

Premii și recunoștințe

• În 1996 , Pnueli a primit Premiul Turing pentru munca fundamentală introducând logica temporală în informatică și pentru contribuțiile remarcabile la verificarea programelor și sistemelor.
• La 30 mai 1997 , Pnueli a primit un doctorat onorific la Facultatea de Științe și Tehnologie a Universității din Uppsala , Suedia .
• În 1999 , a fost angajat ca asociat străin al Academiei Naționale de Inginerie a Statelor Unite.
• În 2000 a primit Premiul Israel , pentru informatică .
• În 2007 a fost numit membru al Asociației pentru Mașini de Calcul .
• Institutul de Științe Weizmann prezintă o serie de prelegeri comemorative în onoarea sa.

Notă

Alte proiecte

• Wikimedia Commons conține imagini sau alte fișiere despre Amir Pnueli

Portal Biografii

Portal IT